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_cluster.stub.php')
-rw-r--r--redis_cluster.stub.php4
1 files changed, 4 insertions, 0 deletions
diff --git a/redis_cluster.stub.php b/redis_cluster.stub.php
index 31ba4ef6..f750e072 100644
--- a/redis_cluster.stub.php
+++ b/redis_cluster.stub.php
@@ -92,6 +92,10 @@ class RedisCluster {
public function expireat(string $key, int $timestamp): bool;
+ public function expiretime(string $key): Redis|int|false;
+
+ public function pexpiretime(string $key): Redis|int|false;
+
public function flushall(string|array $node, bool $async = false): bool;
public function flushdb(string|array $node, bool $async = false): bool;