diff options
author | Andreas Gohr <andi@splitbrain.org> | 2022-10-19 15:42:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-19 15:42:34 +0200 |
commit | ac2b3d9ee6c60ff91cda8cbd44a8de77a50a1c50 (patch) | |
tree | a0200760e67abf823b9cdfd2b2634c2c1c017b07 /lib/scripts/jquery/jquery-ui.min.js | |
parent | 48c8628b58f40e2f7fe338931a59772ec0e2f3d4 (diff) | |
parent | bbe6b3a78bfaae7c3435ed2f909108be642b4684 (diff) | |
download | dokuwiki-ac2b3d9ee6c60ff91cda8cbd44a8de77a50a1c50.tar.gz dokuwiki-ac2b3d9ee6c60ff91cda8cbd44a8de77a50a1c50.zip |
Merge pull request #3798 from splitbrain/nofootshoot
Remove the htmlok and phpok embedding options
Diffstat (limited to 'lib/scripts/jquery/jquery-ui.min.js')
0 files changed, 0 insertions, 0 deletions