diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2022-10-20 09:27:06 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2022-10-20 09:27:06 +0200 |
| commit | 8accc6f3bce7a88198738729dbe150e579463229 (patch) | |
| tree | 5008789141dbdc1c709153981bd3b717889b9af2 /lib/scripts/jquery/jquery-ui-theme | |
| parent | eef4bc2235704e8e003fb579c17c7d00536921d9 (diff) | |
| download | dokuwiki-8accc6f3bce7a88198738729dbe150e579463229.tar.gz dokuwiki-8accc6f3bce7a88198738729dbe150e579463229.zip | |
remove language strings for htmlok and phpok options
These options have been removed in bbe6b3a78bfaae7c3435ed2f909108be642b4684
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions