Typography update to Vector skin
[mediawiki.git] / includes / exception / 
tree4d882e27eebca74ffeaee2e42378ba7262e00b26
drwxr-xr-x   ..
-rw-r--r-- 1633 BadTitleError.php
-rw-r--r-- 2078 ErrorPageError.php
-rw-r--r-- 1189 FatalError.php
-rw-r--r-- 2687 HttpError.php
-rw-r--r-- 7616 MWException.php
-rw-r--r-- 10337 MWExceptionHandler.php
-rw-r--r-- 1645 PermissionsError.php
-rw-r--r-- 1127 ReadOnlyError.php
-rw-r--r-- 1142 ThrottledError.php
-rw-r--r-- 1212 UserBlockedError.php
-rw-r--r-- 2039 UserNotLoggedIn.php