mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-27 15:30:42 +00:00
dc7509811a
Use Echo for delivering the notification to the last user who edited the filter. Much boilerplate. Change-Id: I7a46a03b4f15de20902ec70c62fb4fe750096842 Depends-On: If585b14a6dd6fb8c7d2c3bee1f20d9d08eaac706 |
||
---|---|---|
.. | ||
config.php |