diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@users.noreply.github.com> | 2021-03-04 22:45:47 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-04 22:45:47 +0300 |
commit | 48d18fcedab884820250436e7734bd6d154c7d4f (patch) | |
tree | 47e856843eb24963c52362bc7dd0035d5de8f444 /php_redis.h | |
parent | f827ea07a5ab63ca3b78b5b59f652fc3462ca710 (diff) | |
parent | 037dbbf93db7db96633b0dd21c995b64af7aa1b9 (diff) |
Merge pull request #1940 from phpredis/issue-1894-copy
[WIP] Issue #1894
Diffstat (limited to 'php_redis.h')
-rw-r--r-- | php_redis.h | 1 |
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); |