1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Filter;
4
5	use RuntimeException;
6
7	/**
8	* @codeCoverageIgnore
9	*/
10	class FilterNotFoundException extends RuntimeException {
11	/**
12	* @param int $filter
13	* @param bool $global
14	*/
15	public function __construct( int $filter, bool $global ) {
16	$msg = $global
17	? "Global filter $filter does not exist"
18	: "Filter $filter does not exist";
19	parent::__construct( $msg );
20	}
21	}