wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
4896 commits 13 branches 19 tags 77 MiB
Commit graph

4 commits

Author SHA1 Message Date
David Barratt 019d10b69d Use centralIdsFromNames() method to get central ids. 
The centralIdsFromNames() includes optimizations and error checking
that was not in the original version.

Bug: T178313
Change-Id: I3d6334f2e81f3cee66b36690734f70958fdcefdb
 2017-10-16 18:14:31 -04:00
Antoine Musso 2034f73f33 updatePerUserBlacklist wfWaitForSlaves() 
Commit a live hack. Master branch would have to be updated.

Bug: T173475
Bug: T177437
Change-Id: I80bec4ed0d92e04eed311b4e0d906ead7432abe8
 2017-10-09 20:09:43 +00:00
David Barratt a7cc2c4827 Use main Database Connection for Maintenance Script 
To access user_properties in the WMF cluster, we must use the standard database connection instead of the echo connection.

Bug: T173475
Change-Id: Ic7344e4521b30055f7986aefd61712e6c6a0052c
 2017-10-05 16:45:02 -04:00
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