mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-02 19:36:48 +00:00
e03f7c3e82
Also use MainConfigNames. Change-Id: I80d6b3ef9d7b857e35d8f93f424db1cfca1301f6 |
||
---|---|---|
.. | ||
EchoAbstractMapperStub.php | ||
EchoExecuteFirstArgumentStub.php | ||
EventMapperTest.php | ||
NotificationMapperTest.php |