1	<?php
2
3	namespace MediaWiki\Settings\Source;
4
5	use RuntimeException;
6
7	/**
8	* Thrown during processing a JSON Schema when a reference is not found
9	*
10	* @since 1.42
11	*/
12	class RefNotFoundException extends RuntimeException {
13
14	}