Translate extension for MediaWiki
Loading...
Searching...
No Matches
InvalidFilterException.php
1
<?php
2
declare( strict_types = 1 );
3
4
namespace
MediaWiki\Extension\Translate\MessageLoading;
5
6
use Exception;
7
8
class
InvalidFilterException
extends
Exception {
9
public
function
__construct( $type ) {
10
parent::__construct(
"Unknown filter $type"
);
11
}
12
}
MediaWiki\Extension\Translate\MessageLoading\InvalidFilterException
Definition
InvalidFilterException.php:8
src
MessageLoading
InvalidFilterException.php
Generated by
1.10.0