From 0d955de48bfa66b63bfe61b62d83cc3c852f8e00 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] Fix 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 +- dictionaries/CallMap_historical.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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[]'], diff --git a/dictionaries/CallMap_historical.php b/dictionaries/CallMap_historical.php index 8495d7530db..fbb4e1c9b7e 100644 --- a/dictionaries/CallMap_historical.php +++ b/dictionaries/CallMap_historical.php @@ -5776,7 +5776,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[]'],