Implement extension registration from an extension.json file
[mediawiki.git] / includes / exception / 
treef4e387a3a0b76ba2c17cf94ac28e06f7be8c46e1
drwxr-xr-x   ..
-rw-r--r-- 1633 BadTitleError.php
-rw-r--r-- 2084 ErrorPageError.php
-rw-r--r-- 1189 FatalError.php
-rw-r--r-- 2682 HttpError.php
-rw-r--r-- 7271 MWException.php
-rw-r--r-- 14601 MWExceptionHandler.php
-rw-r--r-- 1645 PermissionsError.php
-rw-r--r-- 1127 ReadOnlyError.php
-rw-r--r-- 1142 ThrottledError.php
-rw-r--r-- 79 TimestampException.php
-rw-r--r-- 1212 UserBlockedError.php
-rw-r--r-- 3493 UserNotLoggedIn.php