summaryrefslogtreecommitdiff
path: root/resources/optional.js
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2022-10-13 09:28:35 +0200
committerMartin Fischer <martin@push-f.com>2022-10-13 09:28:35 +0200
commit63056af6b39e8c58f5faebaa46532e0d86b29ad7 (patch)
tree72d208d51d2c17a84cc10515dcdbf6e9bc00fc1f /resources/optional.js
parentdcaff40b74840b55413cfb13b96d25f191cbda24 (diff)
set wgUseMediaWikiUIEverywhere = true; for MobileFrontend
Diffstat (limited to 'resources/optional.js')
0 files changed, 0 insertions, 0 deletions