mediawiki-skins-Vector/resources/skins.vector.clientPreferences
Jon Robson 2edf135018 Disable client preferences by default
Also make code safe to run when the preferences are
disabled.

Bug: T345363
Change-Id: I00554f3d7b0338170c537ae21d937da35303e8e6
2023-09-19 19:52:21 +00:00
..
clientPreferences.js Disable client preferences by default 2023-09-19 19:52:21 +00:00
clientPreferences.less Feature: Client preferences interface 2023-09-15 10:03:28 -07:00
config.json Feature: Client preferences interface 2023-09-15 10:03:28 -07:00
main.js Feature: Client preferences interface 2023-09-15 10:03:28 -07:00