wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/maintenance
History
libraryupgrader 7c384798be build: Updating mediawiki/mediawiki-phan-config to 0.10.4 
Change-Id: I3c21277a70107abf70599da2c3a4de194c6aad58
2020-11-20 13:56:13 +00:00
..
backfillUnreadWikis.php Make use of BatchRow(Iterator|Writer)::setCaller 2020-09-05 03:45:55 +00:00
generateSampleNotifications.php build: Updating mediawiki/mediawiki-phan-config to 0.10.4 2020-11-20 13:56:13 +00:00
processEchoEmailBatch.php s/slave/replica/ 2020-06-09 02:09:44 +01:00
recomputeNotifCounts.php Make use of BatchRow(Iterator|Writer)::setCaller 2020-09-05 03:45:55 +00:00
removeInvalidNotification.php build: Updating mediawiki/mediawiki-phan-config to 0.10.4 2020-11-20 13:56:13 +00:00
removeOrphanedEvents.php Make use of BatchRow(Iterator|Writer)::setCaller 2020-09-05 03:45:55 +00:00
updateEchoSchemaForSuppression.php Make use of BatchRow(Iterator|Writer)::setCaller 2020-09-05 03:45:55 +00:00
updatePerUserBlacklist.php Make use of BatchRow(Iterator|Writer)::setCaller 2020-09-05 03:45:55 +00:00