mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-18 02:40:34 +00:00
febf3e635e
User-options related classes are being moved to the MediaWiki\User\Options namespace in MediaWiki Core; reflect that change here. Bug: T352284 Depends-On: I9822eb1553870b876d0b8a927e4e86c27d83bd52 Change-Id: I084e01a29884f338fae22d7239d068823a2657c3 |
||
---|---|---|
.. | ||
ABRequirement.php | ||
DynamicConfigRequirement.php | ||
LimitedWidthContentRequirement.php | ||
LoggedInRequirement.php | ||
OverridableConfigRequirement.php | ||
OverrideableRequirementHelper.php | ||
SimpleRequirement.php | ||
UserPreferenceRequirement.php |