mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-17 20:52:14 +00:00
e7fbb01aca
User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption() Bug: T277818 Change-Id: If867b4f97918db581d337a32b33cbca2315a71f6 |
||
---|---|---|
.. | ||
HTMLForm/Fields | ||
SkinVectorTest.php | ||
SkinVersionLookupTest.php | ||
VectorHooksTest.php |