MediaWiki
1.39.8
UndefinedPrefixException.php
Go to the documentation of this file.
1
<?php
30
namespace
Wikimedia\Metrics\Exceptions
;
31
32
use InvalidArgumentException;
33
34
class
UndefinedPrefixException
extends
InvalidArgumentException {
35
}
Wikimedia\Metrics\Exceptions\UndefinedPrefixException
Definition
UndefinedPrefixException.php:34
Wikimedia\Metrics\Exceptions
InvalidConfigurationException.
Definition
InvalidConfigurationException.php:28
includes
libs
Metrics
Exceptions
UndefinedPrefixException.php
Generated on Thu Jun 27 2024 15:34:18 for MediaWiki by
1.10.0