wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/api
History
jenkins-bot ff780827e2 Merge "Use JSON instead of PHP-serialized for internal cross-wiki API requests"
2016-05-13 23:41:09 +00:00
..
ApiEchoMarkRead.php NotifUser: Refactor getNotificationCount() and friends, add caching for global counts 2016-05-02 16:16:57 -07:00
ApiEchoMarkSeen.php API: Remove pre-1.25 compat code 2015-10-26 08:41:57 -07:00
ApiEchoNotifications.php Merge "Use JSON instead of PHP-serialized for internal cross-wiki API requests" 2016-05-13 23:41:09 +00:00