docker php安装redis扩展

redis扩展并不能用docker-php-ext-install phpredis命令进行安装，所以我们先下载phpredis的源码，放到/usr/src/php/ext文件夹中，再使用docker-php-ext-install phpredis 安装扩展。

源码下载地址 https://github.com/phpredis/phpredis/releases

#使用docker exec -it进入容器
docker-php-source extract
curl -L -o /tmp/redis.tar.gz https://github.com/phpredis/phpredis/archive/4.2.0.tar.gz
tar -zxvf /tmp/redis.tar.gz -C /usr/src/php/ext
mv /usr/src/php/ext/phpredis-* /usr/src/php/ext/phpredis
docker-php-ext-install phpredis
php -m | grep redis
#重启容器