MediaWiki
master
ExtensionJsonValidationError.php
Go to the documentation of this file.
1
<?php
2
25
class
ExtensionJsonValidationError
extends
Exception {
26
}
ExtensionJsonValidationError
Definition:
ExtensionJsonValidationError.php:25
includes
registration
ExtensionJsonValidationError.php
Generated on Wed May 18 2022 00:08:55 for MediaWiki by
1.9.1