mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/MinervaNeue
synced 2024-11-30 17:04:28 +00:00
6419c847e9
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: I5a540772aafd2c4686e02f748b5fc61155920397 |
||
---|---|---|
.. | ||
Entries | ||
Main | ||
PageActions | ||
User | ||
Definitions.php | ||
Group.php |