Install redis and PHPredis extension under Windows

1. First install Redis

Address: https://github.com/MSOpenTech/redis/releases

Find a version. After downloading, unzip it to a folder on a certain disk. Name it here It's called redis.

Then open the cmd command line and execute redis-server.exe in the decompressed folder to open local redis, port 6379

2. Install the PHP redis extension

dll download address: https:// pecl.php.net/package/redis/2.2.7/windows

Download the required dll file, put the .dll file in the ext folder under the folder where PHP is located, modify the PHP configuration file, and add a sentence ：extension=php_redis.dll

Restart the environment and use new redis().

The above introduces the installation of redis and PHPredis extension under Windows, including the github content. I hope it will be helpful to friends who are interested in PHP tutorials.