diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2018-06-26 23:14:43 +0200 |
|---|---|---|
| committer | Krinkle <krinklemail@gmail.com> | 2018-07-07 00:34:30 +0000 |
| commit | 130ec2523df12a3ca2fe0d422163696d09fcea08 (patch) | |
| tree | 86c3a24a8c09c3e55272839ec2ee51fc1432e16b /includes/session/CookieSessionProvider.php | |
| parent | de5c5cd356e081023690eddca1ded3ffe85e2cbe (diff) | |
| download | mediawikicore-130ec2523df12a3ca2fe0d422163696d09fcea08.tar.gz mediawikicore-130ec2523df12a3ca2fe0d422163696d09fcea08.zip | |
Fix PhanTypeMismatchDeclaredParam
Auto fix MediaWiki.Commenting.FunctionComment.DefaultNullTypeParam sniff
Change-Id: I865323fd0295aabd06f3e3c75e0e5043fb31069e
Diffstat (limited to 'includes/session/CookieSessionProvider.php')
| -rw-r--r-- | includes/session/CookieSessionProvider.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/session/CookieSessionProvider.php b/includes/session/CookieSessionProvider.php index 74925bd7b6f7..aaa522a91719 100644 --- a/includes/session/CookieSessionProvider.php +++ b/includes/session/CookieSessionProvider.php @@ -339,7 +339,7 @@ class CookieSessionProvider extends SessionProvider { * @param \WebRequest $request * @param string $key * @param string $prefix - * @param mixed $default + * @param mixed|null $default * @return mixed */ protected function getCookie( $request, $key, $prefix, $default = null ) { |