MediaWiki
master
RefNotFoundException.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Settings\Source
;
4
5
use RuntimeException;
6
12
class
RefNotFoundException
extends
RuntimeException {
13
14
}
MediaWiki\Settings\Source\RefNotFoundException
Thrown during processing a JSON Schema when a reference is not found.
Definition
RefNotFoundException.php:12
MediaWiki\Settings\Source
Definition
ArraySource.php:3
includes
Settings
Source
RefNotFoundException.php
Generated on Fri Nov 8 2024 14:25:03 for MediaWiki by
1.10.0