MediaWiki REL1_39
UndefinedPrefixException.php
Go to the documentation of this file.
1<?php
31
32use InvalidArgumentException;
33
34class UndefinedPrefixException extends InvalidArgumentException {
35}