wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-15 11:59:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/api
History
Umherirrender 9bf6ceb738 Replace deprecated JobQueueGroup::singleton() 
Change-Id: I298d8507f4ec706c235087b726b7b230ed5e9ac6
2022-01-25 22:24:53 +01:00
..
Push Merge "Turn push notification token list into a circular buffer." 2021-07-30 14:46:10 +00:00
ApiCrossWiki.php Replace usages of deprecated wfWikiID() 2021-12-21 02:01:11 +00:00
ApiEchoArticleReminder.php Replace deprecated JobQueueGroup::singleton() 2022-01-25 22:24:53 +01:00
ApiEchoMarkRead.php Replace usages of deprecated wfWikiID() 2021-12-21 02:01:11 +00:00
ApiEchoMarkSeen.php Prefer UserIdentity::isRegistered over isAnon 2020-12-23 07:15:30 +00:00
ApiEchoMute.php Avoid using User::getOption() method 2021-12-10 13:37:45 +01:00
ApiEchoNotifications.php Replace usages of deprecated wfWikiID() 2021-12-21 02:01:11 +00:00
ApiEchoUnreadNotificationPages.php Replace usages of deprecated wfWikiID() 2021-12-21 02:01:11 +00:00