MediaWiki  master
FileBackendError.php
Go to the documentation of this file.
1 <?php
10 class FileBackendError extends Exception {
11 }
File backend exception for checked exceptions (e.g.