Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsergkash7 <55360924+sergkash7@users.noreply.github.com>2022-09-08 23:20:00 +0300
committerGitHub <noreply@github.com>2022-09-08 23:20:00 +0300
commit0f502c9ec57d5fcadadb001d9a36fb93c9bff9f9 (patch)
tree91248627f7ab8e67910f2e5b1780258a006aae62
parent34c237ea2101f8da9cdbe1ff81116bc50767d775 (diff)
Update redis.stub.php (#2120)
-rw-r--r--redis.stub.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/redis.stub.php b/redis.stub.php
index 4a2751b3..eb269ab5 100644
--- a/redis.stub.php
+++ b/redis.stub.php
@@ -144,7 +144,7 @@ class Redis {
public function geosearchstore(string $dst, string $src, array|string $position, array|int|float $shape, string $unit, array $options = []): array;
- /** @return string|Redis */
+ /** @return false|string|Redis */
public function get(string $key);
public function getAuth(): mixed;