GitHub - Jimdo/phpredis: A PHP extension for Redis

This repository was archived by the owner on Nov 4, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 886 Commits
debian		debian
rpm		rpm
tests		tests
COPYING		COPYING
CREDITS		CREDITS
README.markdown		README.markdown
arrays.markdown		arrays.markdown
common.h		common.h
config.h		config.h
config.m4		config.m4
config.w32		config.w32
debian.control		debian.control
library.c		library.c
library.h		library.h
mkdeb-apache2.sh		mkdeb-apache2.sh
mkdeb.sh		mkdeb.sh
package.xml		package.xml
php_redis.h		php_redis.h
redis.c		redis.c
redis_array.c		redis_array.c
redis_array.h		redis_array.h
redis_array_impl.c		redis_array_impl.c
redis_array_impl.h		redis_array_impl.h
redis_session.c		redis_session.c
redis_session.h		redis_session.h
serialize.list		serialize.list