diff options
author | Andreas Gohr <andi@splitbrain.org> | 2022-12-10 15:28:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-10 15:28:10 +0100 |
commit | 70ac817e5ec0d95aafeae9e5bb93d82eacb41a02 (patch) | |
tree | 05519a94cdaca95323ca29204724e2d612bf2ccf /lib/scripts/jquery/jquery-ui-theme | |
parent | 3bcc41056f1c56a7fb5dbbfedd82a4db0513f172 (diff) | |
parent | c7a4b560d2469d5a8af7867dcb3ce847e924bb61 (diff) | |
download | dokuwiki-70ac817e5ec0d95aafeae9e5bb93d82eacb41a02.tar.gz dokuwiki-70ac817e5ec0d95aafeae9e5bb93d82eacb41a02.zip |
Merge pull request #3841 from gturri/fix_toolbar
Fix warning from toolbar.php when $INFO is null
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions