mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
b942fa3c65
With I40fc8a709de96aceee14a10c973cd5b0a9a6f063 UserrightsPage now requires the PermissionManager service to be injected. Change-Id: Ibf3728c1e143787fb35b88ad8a8d5aabc8fadcb8 |
||
---|---|---|
.. | ||
phpunit | ||
qunit | ||
selenium | ||
bootstrap.php | ||
echo.suite.xml |