mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-13 08:31:23 +00:00
e03f7c3e82
Also use MainConfigNames. Change-Id: I80d6b3ef9d7b857e35d8f93f424db1cfca1301f6 |
||
---|---|---|
.. | ||
ApiEchoPushSubscriptionsCreateTest.php | ||
ApiEchoPushSubscriptionsDeleteTest.php | ||
ApiEchoPushSubscriptionsTest.php |