MediaWiki master
RefNotFoundException.php
Go to the documentation of this file.
1<?php
2
4
5use RuntimeException;
6
12class RefNotFoundException extends RuntimeException {
13
14}
Thrown during processing a JSON Schema when a reference is not found.