mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 07:43:47 +00:00
004b4c96f3
Use integer value going forward as it will be easier to manage. Bug: T346954 Change-Id: I041a0cb21e872700ceeeddd3a39922e456aa7bb8 |
||
---|---|---|
.. | ||
Requirements | ||
FeatureManager.php | ||
Requirement.php | ||
TODO.md |