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	public function __construct( int $filterID, int $historyID ) {
13	parent::__construct( "No version of filter $filterID closest to $historyID found" );
14	}
15	}