mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-12-01 00:56:26 +00:00
19 lines
400 B
PHP
19 lines
400 B
PHP
|
<?php
|
||
|
|
|
||
|
|
namespace MediaWiki\Extension\AbuseFilter\Filter;
|
||
|
|
|
||
|
|
use RuntimeException;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* @codeCoverageIgnore
|
||
|
|
*/
|
||
|
|
class ClosestFilterVersionNotFoundException extends RuntimeException {
|
||
|
|
/**
|
||
|
|
* @param int $filterID
|
||
|
|
* @param int $historyID
|
||
|
|
*/
|
||
|
|
public function __construct( int $filterID, int $historyID ) {
|
||
|
|
parent::__construct( "No version of filter $filterID closest to $historyID found" );
|
||
|
|
}
|
||
|
|
}
|