diff options
author | Moritz Raguschat <moritz.raguschat@web.de> | 2023-01-24 04:35:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-24 04:35:17 +0100 |
commit | 173de31c3bf14853cb70e707959ba525db668eb4 (patch) | |
tree | 0bfab080b95a68ef9e1f79c3cfc4e175d06be70d /lib/scripts/jquery/jquery-ui-theme | |
parent | 93295a9238ece3133ab213d4edf18b5c29da5025 (diff) | |
download | dokuwiki-173de31c3bf14853cb70e707959ba525db668eb4.tar.gz dokuwiki-173de31c3bf14853cb70e707959ba525db668eb4.zip |
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.
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions