MediaWiki
REL1_39
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 15 2024 16:31:57 for MediaWiki by
1.10.0