安装redis扩展：https://blog.csdn.net/weixin_42047371/article/details/103961146
扩展thinkphp5的redis类方法：https://www.cnblogs.com/yxhblogs/p/7224739.html
windows安装redis：https://www.cnblogs.com/skmobi/p/11696620.html
linux安装redis扩展遇到的问题：
https://segmentfault.com/q/1010000019735774/a-1020000021213100
解决后出现下面这个问题：
PHP Warning: PHP Startup: Unable to load dynamic library 'redis' (tried: /opt/remi/php73/root/usr/lib64/php/modules/redis (/opt/remi/php73/root/usr/lib64/php/modules/redis: cannot open shared object file: No such file or directory), /opt/remi/php73/root/usr/lib64/php/modules/redis.so (/opt/remi/php73/root/usr/lib64/php/modules/redis.so: undefined symbol: php_msgpack_serialize)) in Unknown on line 0
解决方法：在目录etc/php.d新建文件20-msgpack.ini，加入内容：extension=msgpack