mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-12-12 14:15:16 +00:00
ed1195ea23
Change-Id: I61c40312022c1037abb03819d06e5e220dd07e15
16 lines
470 B
PHP
16 lines
470 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\AbuseFilter\Watcher;
|
|
|
|
/**
|
|
* Classes inheriting this interface can be used to execute some actions after all filter have been checked.
|
|
*/
|
|
interface Watcher {
|
|
/**
|
|
* @param int[] $localFilters The local filters that matched the action
|
|
* @param int[] $globalFilters The global filters that matched the action
|
|
* @param string $group
|
|
*/
|
|
public function run( array $localFilters, array $globalFilters, string $group ) : void;
|
|
}
|