wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-30 18:45:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
5598 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Umherirrender 3c53d6acb9 phpcs: Break long lines 
Use the codesniffer default of length = 120

Change-Id: Ifbfd56b20432e54805d3a9bce22cda888c1fc74d
 2020-06-27 12:05:03 +02:00
Reedy aa702c1471 s/slave/replica/ 
Bug: T254646
Change-Id: I4de3985fd8568ce07919623efe2981bc0b6c54e5
 2020-06-09 02:09:44 +01:00
Roan Kattouw 754ec9ef11 Add maintenance script to recompute notification counts 
Generally applicable, but intended for users affected by the
login-success phantom notifications bug.

Bug: T220762
Change-Id: Ica428bfc19e0555564ca04d80ac5009197401aaf
 2019-04-12 17:48:01 -07:00