mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 15:53:46 +00:00
e7fbb01aca
User::setOption() is deprecated and should be replaced with UserOptionsManager::setOption() Bug: T277818 Change-Id: If867b4f97918db581d337a32b33cbca2315a71f6 |
||
---|---|---|
.. | ||
phpunit | ||
.eslintrc.json | ||
resource-loader-bundlesize.js |