MediaWiki  master
ExtensionJsonValidationError.php
Go to the documentation of this file.
1 <?php
2 
25 class ExtensionJsonValidationError extends Exception {
26 }
ExtensionJsonValidationError
@newable
Definition: ExtensionJsonValidationError.php:25