Fix redis.stub.php (bis)

nicolas-grekas · michael-grunder · commit 8b1eafe87abc · 2022-10-12T11:44:17.000-07:00
diff --git a/redis.stub.php b/redis.stub.php
@@ -159,7 +159,7 @@ public function geosearch(string $key, array|string $position, array|int|float $
 
     public function geosearchstore(string $dst, string $src, array|string $position, array|int|float $shape, string $unit, array $options = []): Redis|array|int|false;
 
-    public function get(string $key): Redis|mixed|false;
+    public function get(string $key): mixed;
 
     public function getAuth(): mixed;
 
