| 173de31c | 24-Jan-2023 |
Moritz Raguschat <moritz.raguschat@web.de> |
Avoid some unnecessary index file writes.
word_idx modified should be reset to false for each word index file, or all unchanged word index files after the first changed one will be resaved unnecessa
Avoid some unnecessary index file writes.
word_idx modified should be reset to false for each word index file, or all unchanged word index files after the first changed one will be resaved unnecessarily.
show more ...
|
| c7a4b560 | 29-Nov-2022 |
Guillaume Turri <guillaume.turri@gmail.com> |
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 prom
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)
show more ...
|