wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 15:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Watcher
History
Umherirrender bd84a6514c Use namespaced classes 
This requires 1.42 for some new names

Changes to the use statements done automatically via script
Addition of missing use statements and changes to docs done manually

Change-Id: Ic1e2c9a0c891382744e4792bba1effece48e53f3
2023-12-10 23:03:12 +01:00
..
EmergencyWatcher.php Use namespaced classes 2023-12-10 23:03:12 +01:00
UpdateHitCountWatcher.php Use namespaced classes 2023-12-10 23:03:12 +01:00
Watcher.php build: Updating dependencies 2021-07-21 18:51:18 +00:00