wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/maintenance
History
David Barratt 3ba76f7faa Use User Ids instead of User Names for Echo Mute 
The echo mute list uses user names which are not stable. User ids should be used instead.

Bug: T173475
Change-Id: I947bcf37a8f85aaa105776d368dbd0ab76823aeb
2017-10-02 19:39:40 -04:00
..
backfillReadBundles.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 09:49:43 +00:00
backfillUnreadWikis.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 09:49:43 +00:00
generateSampleNotifications.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-22 14:13:28 +00:00
processEchoEmailBatch.php build: Updating mediawiki/mediawiki-codesniffer to 0.9.0 2017-06-22 14:13:28 +00: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 User Ids instead of User Names for Echo Mute 2017-10-02 19:39:40 -04:00