mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 06:54:00 +00:00
3d34307f87
User-options related classes are being moved to the MediaWiki\User\Options namespace in MediaWiki Core; reflect that change here. Bug: T352284 Depends-On: I42653491c19dde5de99e0661770e2c81df5d7e84 Change-Id: I22ff2effcf9b7f2162f5d57608d8ec3651b48dd7 |
||
---|---|---|
.. | ||
parser | ||
phpunit | ||
selenium |