diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-19 21:05:48 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-20 16:23:17 +0000 |
| commit | f910edce6d7a9330c0fd063734324ba4ac159c3e (patch) | |
| tree | c574e18f22fc971f6f1d7f50f298fecddfdc102f /includes/http/MWHttpRequest.php | |
| parent | 634ed2c90ad03552ea18c5f56e680fa6c58d1e45 (diff) | |
| download | mediawikicore-f910edce6d7a9330c0fd063734324ba4ac159c3e.tar.gz mediawikicore-f910edce6d7a9330c0fd063734324ba4ac159c3e.zip | |
Add @phan-mandatory-param for function name arguments
Providing the function name is often optional from the php code,
but it is needed for better logging, so make it mandatory and let phan
report issues about this.
Bug: T374546
Depends-On: Iaed5489a85a5a6e685829e151436afc94310fbd0
Depends-On: Ie2a1e5052e5b61bbb5b89905de942f47d3f1413d
Change-Id: I5227f2fa65850ac8c6f620900f22d1f4e7bfd470
Diffstat (limited to 'includes/http/MWHttpRequest.php')
| -rw-r--r-- | includes/http/MWHttpRequest.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/http/MWHttpRequest.php b/includes/http/MWHttpRequest.php index 49ce127da3f9..51ee96cbd568 100644 --- a/includes/http/MWHttpRequest.php +++ b/includes/http/MWHttpRequest.php @@ -115,7 +115,7 @@ abstract class MWHttpRequest implements LoggerAwareInterface { * @param array $options extra params to pass (see HttpRequestFactory::create()) * @phpcs:ignore Generic.Files.LineLength * @phan-param array{timeout?:int|string,connectTimeout?:int|string,postData?:array,proxy?:string,noProxy?:bool,sslVerifyHost?:bool,sslVerifyCert?:bool,caInfo?:string,maxRedirects?:int,followRedirects?:bool,userAgent?:string,logger?:LoggerInterface,username?:string,password?:string,originalRequest?:WebRequest|array{ip:string,userAgent:string},method?:string} $options - * @param string $caller The method making this request, for profiling + * @param string $caller The method making this request, for profiling @phan-mandatory-param * @param Profiler|null $profiler An instance of the profiler for profiling, or null * @throws Exception */ |