wiki.techinc.nl/includes/exception
Ricordisamoa 1b3bc281ac Clean up redundant Exception|Throwable union type
PHP 7.0 makes many error conditions throw instances of the new Error class
which does not extend the known Exception.
The Throwable interface provides a concise and type-safe way of handling
either, e.g. for logging purposes, but HHVM did not support it, requiring
tedious fallback checks.

This commit replaces occurrences of Exception in code paths equally
covered by Throwable, like Exception|Throwable parameter and return types
(also nullable), instanceof guards, duplicated `catch` blocks, as well as
related comments and documentation blocks, with the exception of $previous
parameter descriptions consistent with the manual at
https://www.php.net/manual/en/exception.construct.php

Proper type declarations have been added or reinstated where possible.

Change-Id: I5d3920d3cc66936a350314e2f19c4f6faeffd7c0
2020-02-12 20:28:40 +00:00
..
BadRequestError.php exception: Let MediaWiki.php control final output for ErrorPageError 2019-09-26 07:56:14 +00:00
BadTitleError.php
CannotCreateActorException.php Add actor table and code to start using it 2018-02-23 10:06:20 -08:00
ErrorPageError.php exception: Let MediaWiki.php control final output for ErrorPageError 2019-09-26 07:56:14 +00:00
FatalError.php Setup: Move wgArticlePath validation to its main consumer (PathRouter) 2019-09-25 23:06:52 +00:00
HttpError.php
ILocalizedException.php Move interface ILocalizedException to own file 2019-02-01 20:05:30 +01:00
LocalizedException.php Clean up redundant Exception|Throwable union type 2020-02-12 20:28:40 +00:00
MWContentSerializationException.php
MWException.php Unpack arrays on variadic arguments 2019-08-31 23:23:50 +00:00
MWExceptionHandler.php Clean up redundant Exception|Throwable union type 2020-02-12 20:28:40 +00:00
MWExceptionRenderer.php Clean up redundant Exception|Throwable union type 2020-02-12 20:28:40 +00:00
MWUnknownContentModelException.php Set method visibility for various constructors 2019-12-03 20:17:30 +01:00
PermissionsError.php exception: Let MediaWiki.php control final output for ErrorPageError 2019-09-26 07:56:14 +00:00
ProcOpenError.php Replace wfShellExec() with a class 2017-09-08 21:49:49 -07:00
ReadOnlyError.php
ShellDisabledError.php Replace wfShellExec() with a class 2017-09-08 21:49:49 -07:00
ThrottledError.php exception: Let MediaWiki.php control final output for ErrorPageError 2019-09-26 07:56:14 +00:00
UserBlockedError.php Minor cleanups 2019-11-03 17:10:23 -08:00
UserNotLoggedIn.php Add missing @param and @return to documentation 2019-11-10 22:12:58 +00:00