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