MediaWiki
master
ExtensionJsonValidationError.php
Go to the documentation of this file.
1
<?php
25
class
ExtensionJsonValidationError
extends
Exception {
26
}
ExtensionJsonValidationError
Definition
ExtensionJsonValidationError.php:25
includes
registration
ExtensionJsonValidationError.php
Generated on Mon May 20 2024 14:24:11 for MediaWiki by
1.10.0