mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 22:15:26 +00:00
b394956c22
Change-Id: Ibc39593e34da36e57b640af0b5bbf2145f725e92
15 lines
344 B
PHP
15 lines
344 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\AbuseFilter\Consequences;
|
|
|
|
use RuntimeException;
|
|
|
|
class ConsequenceNotPrecheckedException extends RuntimeException {
|
|
public function __construct() {
|
|
parent::__construct(
|
|
'Consequences that can disable other consequences should ' .
|
|
'use shouldDisableOtherConsequences() before execute()'
|
|
);
|
|
}
|
|
}
|