diff options
| author | Guillaume Turri <guillaume.turri@gmail.com> | 2022-11-29 17:05:03 +0100 |
|---|---|---|
| committer | Guillaume Turri <guillaume.turri@gmail.com> | 2022-12-01 21:54:23 +0100 |
| commit | c7a4b560d2469d5a8af7867dcb3ce847e924bb61 (patch) | |
| tree | 07e031212634d10a650602f2b6195fa7df1d2010 /lib/scripts/jquery/jquery-ui-theme | |
| parent | 67e0898e5c30672b0af85498d39eca2794c96759 (diff) | |
| download | dokuwiki-c7a4b560d2469d5a8af7867dcb3ce847e924bb61.tar.gz dokuwiki-c7a4b560d2469d5a8af7867dcb3ce847e924bb61.zip | |
Fix warning from toolbar.php when $INFO is null
This commit fixes an issue observed in this context:
1. Run Dokuwiki with PHP 8.1
2. Install the "sync" plugin
3. Run the "sync" plugin, and when prompted whether you want to keep the
remote of the local file, click to show the diff
That's it: on the window which opens to display the diff, there is a warning
saying that $INFO is null.
(Perhaps an even better fix would be to ensure that $INFO is set in this case
but at least this commit fixes this issue and shouldn't have any detrimental
side effects)
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions