diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-02-14 21:47:18 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-02-14 21:47:18 +0100 |
| commit | ba7b6a5bbd0f92b0ce7ab5be6abaa67e040efe59 (patch) | |
| tree | df34908c422534695e0e4c5ff3e3744cfc94c501 /includes/http/MwHttpRequestToResponseInterfaceAdapter.php | |
| parent | db99d3f67bfb43fbc5670157dc246aa369946a94 (diff) | |
| download | mediawikicore-ba7b6a5bbd0f92b0ce7ab5be6abaa67e040efe59.tar.gz mediawikicore-ba7b6a5bbd0f92b0ce7ab5be6abaa67e040efe59.zip | |
build: Resolve MediaWikiNoEmptyIfDefined suppression
Follow-Up: Id183ab60994cd9c6dc80401d4ce4de0ddf2b3da0
Change-Id: Iac6aa104331ffc26460f8360b252e03d2307e6fd
Diffstat (limited to 'includes/http/MwHttpRequestToResponseInterfaceAdapter.php')
| -rw-r--r-- | includes/http/MwHttpRequestToResponseInterfaceAdapter.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/includes/http/MwHttpRequestToResponseInterfaceAdapter.php b/includes/http/MwHttpRequestToResponseInterfaceAdapter.php index 0206c6196efb..26fac9e079b9 100644 --- a/includes/http/MwHttpRequestToResponseInterfaceAdapter.php +++ b/includes/http/MwHttpRequestToResponseInterfaceAdapter.php @@ -106,8 +106,7 @@ class MwHttpRequestToResponseInterfaceAdapter implements ResponseInterface { * `execute`. The best way of determining whether a MWHttpRequest contains response information is to check * whether its headers list is empty. */ - // @phan-suppress-next-line MediaWikiNoEmptyIfDefined - if ( empty( $mwHttpRequest->getResponseHeaders() ) ) { + if ( !$mwHttpRequest->getResponseHeaders() ) { throw new LogicException( 'Trying to get response information from a request that was not yet executed' ); } } |