Installieren Sie Redis und die PHPredis-Erweiterung unter Windows

1. Installieren Sie zuerst Redis

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

Suchen Sie eine Version Nachdem der Download abgeschlossen ist, entpacken Sie ihn in einen Ordner unter einem bestimmten Datenträger, hier Redis genannt.

Öffnen Sie dann die cmd-Befehlszeile und führen Sie redis-server.exe im dekomprimierten Ordner aus, um lokales Redis, Port 6379, zu öffnen

2. Installieren Sie die PHP-Redis-Erweiterung

DLL-Download-Adresse: https://pecl.php.net/package/redis/2.2.7/windows

Laden Sie die erforderliche DLL-Datei herunter und legen Sie die .dll-Datei darin ab. Gehen Sie zu ext-Ordner unter dem Ordner, in dem sich PHP befindet, ändern Sie die PHP-Konfigurationsdatei und fügen Sie den Satz hinzu: extension=php_redis.dll

Starten Sie die Umgebung neu und verwenden Sie new redis().

Das Obige stellt die Installation von Redis und der PHPredis-Erweiterung unter Windows vor, einschließlich des Github-Inhalts. Ich hoffe, dass es für Freunde hilfreich ist, die sich für PHP-Tutorials interessieren.