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

3 commits

Author SHA1 Message Date
Erik Bernhardson 71c7e02858 Directory reshuffle, add dev tools 
* Port Flow Makefile to Echo
* Move resources to Resources.php

Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
 2014-08-01 22:38:41 +00: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