mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-12 16:05:17 +00:00
735dad995b
The font size preference sets a preference to disabled rather than 0. Rather than save this as 0, it would be useful to store this as a string given in future it will evolve to have values small, medium, large Change logic in UserPreferenceRequirement to support non-binary options. Bug: T346987 Change-Id: I399aa1b1be4a45cab0aa3b8addb482e5af6c5bf3 |
||
---|---|---|
.. | ||
DynamicConfigRequirementTest.php | ||
OverridableConfigRequirementTest.php | ||
UserPreferenceRequirementTest.php |