mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/MinervaNeue
synced 2024-12-03 18:26:16 +00:00
023c5046d3
Remove using of User:getOption since this method will be hard-deprecated. Now it is soft-deprecated. Bug: T296083 Change-Id: I9f762cf27d7c778c8c391cde1409b510bd3e4e67 |
||
---|---|---|
.. | ||
Entries | ||
Main | ||
PageActions | ||
User | ||
Definitions.php | ||
Group.php |