Move up devunt's name to Developers
[lhc/web/wiklou.git] / includes / exception /
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