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
Sat, May 16, 14:26 (1 d, 10 h)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
03/64/56045077b9e124c45d46bdfa19dd
Default Alt Text
FilterNotFoundException.php (421 B)

Event Timeline