php 安装 redis 扩展

　　查了半天，没有一个说明白流程。。。综合最后成功，记录下顺序：

　　1、首先已安装有 xampp ，启动 apache，访问项目，并且报 redis 类找不到，这时我们需要安装 redis 扩展

　　2、查看 phpinfo(); 

　　这里注意画线处，后面找php 对应的 redis 扩展版本有用到，不然就是版本不匹配各种不好使~

　　3、去到 https://pecl.php.net/package/redis 下载相应版本 redis ：

　　然后根据我的版本： PHP7.2、vc15、x86、ts，选择：（ts禁用就选nts）

　　4、下载后获取到下面2个文件：

　　复制到对应php 文件下的 ext 文件夹下

　　找到 PHP 文件夹下的 php.ini 文件，加上 ：extension=php_redis.dll

　　5、最后，保存文件，重启服务器

　　再次查看 phpinfo() ，会发现 redis 扩展已装好！