mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
0099c45e54
Inject a UserOptionsLookup to replace deprecated User::getOption() Change-Id: I177f6d3486f987073e5d745077f0abfe9ae85aca |
||
---|---|---|
.. | ||
phpunit | ||
qunit | ||
selenium | ||
bootstrap.php | ||
echo.suite.xml |