wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-12-01 00:56:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Watcher
History
Daimona Eaytoy c368575af0 Create a base interface for watchers 
This will ease adding new watchers, for instance to send Echo
notifications (see T179495 and T100892).

For now, this is just boilerplate, and converting EmergencyWatcher to
the new interface.

Change-Id: I18d62aba53471202b709cdb19033b1729c5c25b4
2020-11-20 23:34:20 +01:00
..
EmergencyWatcher.php Create a base interface for watchers 2020-11-20 23:34:20 +01:00
Watcher.php Create a base interface for watchers 2020-11-20 23:34:20 +01:00