mediawiki-skins-Vector/resources/skins.vector.clientPreferences
Jon Robson 004b4c96f3 Add multiple font size to frontend
Use integer value going forward as it will be easier
to manage.

Bug: T346954
Change-Id: I041a0cb21e872700ceeeddd3a39922e456aa7bb8
2023-10-17 12:43:02 +00:00
..
clientPreferences.js Fixes saving of limited width 2023-09-21 19:13:38 +00:00
clientPreferences.less Use skin variables instead of local variables where possible 2023-10-05 15:34:50 -07:00
config.json Add multiple font size to frontend 2023-10-17 12:43:02 +00:00
main.js Feature: Client preferences interface 2023-09-15 10:03:28 -07:00