mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-11 17:00:10 +00:00
e03f7c3e82
Also use MainConfigNames. Change-Id: I80d6b3ef9d7b857e35d8f93f424db1cfca1301f6 |
||
---|---|---|
.. | ||
phpunit | ||
qunit | ||
selenium | ||
bootstrap.php | ||
echo.suite.xml |