mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-03 03:37:24 +00:00
6c817e932f
- Register new feature for main menu pinned - Update UserPreferenceRequirement to optionally handle default config values - Add nav landmarks for the main menu Bug: T317900 Change-Id: I8fc6e0a79a1155d68afb9e33e5101a2a160dc4e5 |
||
---|---|---|
.. | ||
DynamicConfigRequirement.php | ||
LimitedWidthContentRequirement.php | ||
LoggedInRequirement.php | ||
OverridableConfigRequirement.php | ||
SimpleRequirement.php | ||
UserPreferenceRequirement.php |