MediaWiki  master
ExtensionJsonValidationError.php
Go to the documentation of this file.
1 <?php
2 
21 class ExtensionJsonValidationError extends Exception {
22 }