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:
Diffstat (limited to 'redis.stub.php')
-rw-r--r--redis.stub.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/redis.stub.php b/redis.stub.php
index b1c5fc7e..5245f490 100644
--- a/redis.stub.php
+++ b/redis.stub.php
@@ -117,6 +117,8 @@ class Redis {
public function expireAt(string $key, int $timestamp): bool;
+ public function failover(?array $to = null, bool $abort = false, int $timeout = 0): bool;
+
public function flushAll(?bool $sync = null): bool;
public function flushDB(?bool $sync = null): bool;