1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Filter;
4
5	use RuntimeException;
6
7	/**
8	* @codeCoverageIgnore
9	*/
10	class ClosestFilterVersionNotFoundException extends RuntimeException {
11	/**
12	* @param int $filterID
13	* @param int $historyID
14	*/
15	public function __construct( int $filterID, int $historyID ) {
16	parent::__construct( "No version of filter $filterID closest to $historyID found" );
17	}
18	}