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
2617 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Thiemo Mättig 66d5e17a25 Fix broken and incomplete PHPDoc tags 
Change-Id: I0c8928a2dbf67cb15841fae6cc55c363357ec265
 2015-12-14 11:03:09 +01:00
Thiemo Mättig e205992d0b Remove unused code and fix missing/broken documentation 
General code cleanup as reported by the PHPStorm static code
analysis. I hope it's not a problem that I made a lot of very
different (but all very tiny) changes in a single patch. If you
want to merge this but you think it's better to split it into
several patches first, please tell me.

Change-Id: I2e2c4bb47f8d20e038d28e236e2ff813b30504af
 2014-06-04 04:54:00 +00:00
Erik Bernhardson c0b0d78e50 Notification agent whitelist and blacklist 
Implements whitelists and blacklists for notification agents to assist
in filtering out unwanted notifications from bots.

Bug: 47946
Change-Id: I0d7e071067c6974fb90cf6c0ba1bd159f46bd5df
 2013-05-20 16:36:28 -07:00