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:
authormichael-grunder <michael.grunder@gmail.com>2022-11-09 01:11:08 +0300
committermichael-grunder <michael.grunder@gmail.com>2022-11-09 01:11:08 +0300
commit6d595b35e932dd37ddd7ceb9299185e0ba10ec4f (patch)
tree765fbbea8f6605f9dc1ed42f93742dfd6bcb5deb
parent450904f75c2e4d45f29813bb73d01c6a0ff61ddb (diff)
Fix xtrim stub
[no ci]
-rw-r--r--redis.stub.php2
1 files changed, 0 insertions, 2 deletions
diff --git a/redis.stub.php b/redis.stub.php
index 39e94ad0..2025a1b0 100644
--- a/redis.stub.php
+++ b/redis.stub.php
@@ -3950,8 +3950,6 @@ class Redis {
* messages older than this ID.
* @param bool $approx Whether redis is allowed to do an approximate trimming of the stream. This is
* more efficient for Redis given how streams are stored internally.
- * @param int $count An optional upper bound on how many entries Redis should attempt to trim before
- * returning to the caller.
* @param bool $minid When set to `true`, users should pass a minimum ID to the `$threshold` argument.
* @param int $limit An optional upper bound on how many entries to trim during the command.
*