mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 03:34:25 +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 |
||
---|---|---|
.. | ||
ABRequirement.php | ||
DynamicConfigRequirement.php | ||
LimitedWidthContentRequirement.php | ||
LoggedInRequirement.php | ||
OverridableConfigRequirement.php | ||
SimpleRequirement.php | ||
UserPreferenceRequirement.php |