Merge "ProfilerOutputStats: allow a key prefix to be specified"
[mediawiki.git] / includes / exception / 
tree8e506882bce2062ed59f17953c30e173c676d582
drwxr-xr-x   ..
-rw-r--r-- 2075 BadTitleError.php
-rw-r--r-- 2084 ErrorPageError.php
-rw-r--r-- 1189 FatalError.php
-rw-r--r-- 3492 HttpError.php
-rw-r--r-- 7459 MWException.php
-rw-r--r-- 15648 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