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