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 Dec 11 2023 03:09:49 for MediaWiki by
1.9.8