MediaWiki
1.42.1
RefNotFoundException.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Settings\Source
;
4
5
use RuntimeException;
6
7
class
RefNotFoundException
extends
RuntimeException {
8
9
}
MediaWiki\Settings\Source\RefNotFoundException
Definition
RefNotFoundException.php:7
MediaWiki\Settings\Source
Definition
ArraySource.php:3
includes
Settings
Source
RefNotFoundException.php
Generated on Thu Jun 27 2024 16:00:16 for MediaWiki by
1.10.0