wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/maintenance
History
Umherirrender b2b6d8b420 Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN 
As suggested in 26505b170adb24a6ae68945920db322c9382e470 for better
readability. Also the sniff now knows about the maintenance script

Change-Id: If3ab122c1fc12fcfbce777881ca21ecd99fb2a70
2018-03-17 21:55:20 +01:00
..
backfillReadBundles.php Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN 2018-03-17 21:55:20 +01:00
backfillUnreadWikis.php Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN 2018-03-17 21:55:20 +01:00
generateSampleNotifications.php Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN 2018-03-17 21:55:20 +01:00
processEchoEmailBatch.php Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN 2018-03-17 21:55:20 +01:00
removeInvalidNotification.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 09:49:43 +00:00
removeOrphanedEvents.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 09:49:43 +00:00
testDiscussionParser.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-22 14:13:28 +00:00
updateEchoSchemaForSuppression.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 09:49:43 +00:00
updatePerUserBlacklist.php Use centralIdsFromNames() method to get central ids. 2017-10-16 18:14:31 -04:00