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:
authorPavlo Yatsukhnenko <yatsukhnenko@users.noreply.github.com>2021-03-04 22:45:47 +0300
committerGitHub <noreply@github.com>2021-03-04 22:45:47 +0300
commit48d18fcedab884820250436e7734bd6d154c7d4f (patch)
tree47e856843eb24963c52362bc7dd0035d5de8f444 /php_redis.h
parentf827ea07a5ab63ca3b78b5b59f652fc3462ca710 (diff)
parent037dbbf93db7db96633b0dd21c995b64af7aa1b9 (diff)
Merge pull request #1940 from phpredis/issue-1894-copy
[WIP] Issue #1894
Diffstat (limited to 'php_redis.h')
-rw-r--r--php_redis.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/php_redis.h b/php_redis.h
index e3ed29c8..9d44e513 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -41,6 +41,7 @@ PHP_METHOD(Redis, bzPopMax);
PHP_METHOD(Redis, bzPopMin);
PHP_METHOD(Redis, close);
PHP_METHOD(Redis, connect);
+PHP_METHOD(Redis, copy);
PHP_METHOD(Redis, dbSize);
PHP_METHOD(Redis, decr);
PHP_METHOD(Redis, decrBy);