mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-17 12:43:02 +00:00
e7fbb01aca
User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption() Bug: T277818 Change-Id: If867b4f97918db581d337a32b33cbca2315a71f6 |
||
---|---|---|
.. | ||
integration | ||
unit/FeatureManagement |