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 Tue Apr 23 2024 11:23:57 for MediaWiki by
1.10.0