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/libs/redis/RedisConnectionPool.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/libs/redis/RedisConnectionPool.php')
| -rw-r--r-- | includes/libs/redis/RedisConnectionPool.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/libs/redis/RedisConnectionPool.php b/includes/libs/redis/RedisConnectionPool.php index 82cc23305e14..aa60242235b3 100644 --- a/includes/libs/redis/RedisConnectionPool.php +++ b/includes/libs/redis/RedisConnectionPool.php @@ -168,7 +168,7 @@ class RedisConnectionPool implements LoggerAwareInterface { * * @param string $server A hostname/port combination or the absolute path of a UNIX socket. * If a hostname is specified but no port, port 6379 will be used. - * @param LoggerInterface $logger PSR-3 logger intance. [optional] + * @param LoggerInterface|null $logger PSR-3 logger intance. [optional] * @return RedisConnRef|bool Returns false on failure * @throws MWException */ @@ -382,7 +382,7 @@ class RedisConnectionPool implements LoggerAwareInterface { * Adjust or reset the connection handle read timeout value * * @param Redis $conn - * @param int $timeout Optional + * @param int|null $timeout Optional */ public function resetTimeout( Redis $conn, $timeout = null ) { $conn->setOption( Redis::OPT_READ_TIMEOUT, $timeout ?: $this->readTimeout ); |