Use finally instead of try-catch-throw
authorLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Tue, 26 Mar 2019 13:13:51 +0000 (14:13 +0100)
committerLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Tue, 26 Mar 2019 13:13:51 +0000 (14:13 +0100)
commit46f79f8eb3293524543c4badfee8b3d3c4629cd1
treeb576d4a6d4a3381f99e248230c80ff840c9d12d2
parent3f54ff5aa72c4f892418757125b1e58976977ae7
Use finally instead of try-catch-throw

When this exception handler was introduced in change Ifbc1db4b82 (commit
9636d44448), MediaWiki still supported PHP 5.3.2, where finally was not
available. It was added in PHP 5.5, though, which we’ve required for a
while now, so we can simplify this a bit.

Change-Id: I7c967fb713de7495739e18ff6c6058a630129fda
includes/context/RequestContext.php