1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Filter;
4
5	use RuntimeException;
6
7	/**
8	* @codeCoverageIgnore
9	*/
10	class FilterVersionNotFoundException extends RuntimeException {
11	/**
12	* @param int $version
13	*/
14	public function __construct( int $version ) {
15	parent::__construct( "Filter version $version does not exist" );
16	}
17	}