mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
b10bd70033
This would soon become problematic when output can come from multiple sources, with potentially conflicting ids. The ID is already included in the result anyway. Change-Id: Id92150c71c68958819fe0ee329e70393052c34c9 |
||
---|---|---|
.. | ||
ApiEchoMarkRead.php | ||
ApiEchoMarkSeen.php | ||
ApiEchoNotifications.php |