php引入redis文件的方法：

集成环境：phpstudy。

1.下载扩展文件：php_redis.dll。地址：https://pecl.php.net/package/redis。

2.下载解压后，把“php_redis.dll”和“php_redis.pdb”拷贝到php的ext目录下。

3.在配置文件php.ini加入：

extension=php_igbinary.dll
extension=php_redis.dll

4.重启phpstudy即可。