Page MenuHomeWickedGov Phorge

FilterNotFoundException.php
No OneTemporary

Size
421 B
Referenced Files
None
Subscribers
None

FilterNotFoundException.php

<?php
namespace MediaWiki\Extension\AbuseFilter\Filter;
use RuntimeException;
/**
* @codeCoverageIgnore
*/
class FilterNotFoundException extends RuntimeException {
/**
* @param int $filter
* @param bool $global
*/
public function __construct( int $filter, bool $global ) {
$msg = $global
? "Global filter $filter does not exist"
: "Filter $filter does not exist";
parent::__construct( $msg );
}
}

File Metadata

Mime Type
text/x-php
Expires
Aug 19 2026, 20:07 (7 w, 1 d ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
44/2f/d607aa42a5d7ae55f041e1393832
Default Alt Text
FilterNotFoundException.php (421 B)

Event Timeline