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
jenkins-bot 6ed6337aed Merge "Replace RecentChange::getPerformer with RecentChange::getPerformerIdentity"
2021-05-24 15:27:56 +00:00
..
backfillUnreadWikis.php Use Maintenance::set/getBatchSize in maintenance scripts 2020-12-18 00:28:32 +01:00
generateSampleNotifications.php Replace RecentChange::getPerformer with RecentChange::getPerformerIdentity 2021-05-24 18:01:04 +03:00
processEchoEmailBatch.php Use Maintenance::set/getBatchSize in maintenance scripts 2020-12-18 00:28:32 +01:00
recomputeNotifCounts.php build: Updating composer dependencies 2021-05-04 09:05:15 -07:00
removeInvalidNotification.php build: Updating composer dependencies 2021-05-04 09:05:15 -07:00
removeOrphanedEvents.php build: Updating composer dependencies 2021-05-04 09:05:15 -07:00
updateEchoSchemaForSuppression.php build: Updating composer dependencies 2021-05-04 09:05:15 -07:00
updatePerUserBlacklist.php phpcs: Auto-fix MediaWiki.Usage.StaticClosure.StaticClosure 2021-05-04 09:06:42 -07:00