From 94f705dbc64f7c9991d2dc1aebc2920d687d0503 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gabriel=20Ostroluck=C3=BD?= Date: Tue, 30 Nov 2021 19:45:38 +0100 Subject: [PATCH] Fixed RedisCluster::getOption() argument types See https://github.com/phpredis/phpredis/blame/aac42cd33510030bb62973f8886f4cd98b9b8003/redis.stub.php#L156 Related https://github.com/vimeo/psalm/pull/6853 --- dictionaries/CallMap.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php index ed850ac649c..e3865889422 100644 --- a/dictionaries/CallMap.php +++ b/dictionaries/CallMap.php @@ -11175,7 +11175,7 @@ 'RedisCluster::getBit' => ['int', 'key'=>'string', 'offset'=>'int'], 'RedisCluster::getLastError' => ['?string'], 'RedisCluster::getMode' => ['int'], -'RedisCluster::getOption' => ['int', 'name'=>'string'], +'RedisCluster::getOption' => ['int', 'name'=>'int'], 'RedisCluster::getRange' => ['string', 'key'=>'string', 'start'=>'int', 'end'=>'int'], 'RedisCluster::getSet' => ['string', 'key'=>'string', 'value'=>'string'], 'RedisCluster::hDel' => ['int|false', 'key'=>'string', 'hashKey'=>'string', '...other_hashKeys='=>'string[]'],