Comment installer php redis sous Windows

Comment installer php redis sous windows : obtenez d'abord le fichier d'extension phpRedis correspondant ; puis double-cliquez pour ouvrir le fichier "php_redis-2.2.7-5.6-ts-vc11-x86.zip" ; php.ini et redémarrez le service.

Recommandé : "Tutoriel vidéo PHP"

Installer l'extension phpRedis sous Windows

Il existe de nombreux tutoriels et blogs sur Internet pour installer l'extension phpRedis. J'ai personnellement testé que le suivant pouvait être utilisé, je vais donc aller sur

Installer l'extension phpRedis sous Windows

.

Habituellement, lorsque vous testez des programmes PHP, vous utiliserez Redis. Généralement, les tests sont effectués sous Windows, l'extension phpRedis doit donc être installée dans l'environnement Windows pour prendre en charge l'accès de PHP à Redis.

Outils/Matériaux

Environnement de débogage 1.php (WAMP3 32 bits est utilisé ici, php version 5.6)

2. Fichier d'extension phpRedis pour Windows

3. Éditeur de texte (bloc-notes)

Méthode/étapes

Nous devons d'abord obtenir le fichier d'extension phpRedis correspondant.

Entrez https://pecl.php.net/package/redis dans votre navigateur Web ou cliquez ici pour ouvrir le site Web correspondant.

Étant donné que la dernière version 3.0.0 ne prend en charge que php7.0, nous choisissons de prendre en charge la version php5.6 de l'extension.

Après avoir ouvert le lien, recherchez le fichier correspondant à la version php5.6.

L'environnement WAMP que j'utilise est une version 32 bits, j'ai donc sélectionné l'option "5.6 Thread Safe(TS) x86".

Une fois le téléchargement terminé, double-cliquez pour ouvrir le fichier php_redis-2.2.7-5.6-ts-vc11-x86.zip. Le php_redis.dll est l’extension php que nous devons utiliser.

Ouvrez le répertoire où est chargée l'extension PHP dans l'environnement de développement, voici C:wampbinphpphp5.6.19ext. Décompressez le fichier php_redis.dll obtenu à l'étape précédente dans le répertoire courant.

Cliquez sur l'icône WAMP et sélectionnez PHP, puis php.ini.

Ouvrez le fichier de configuration PHP.ini de WAMP. Nous devons informer PHP pour charger l'extension phpRedis.

Recherchez un contenu similaire au début de "extension=" lors de l'ouverture du fichier php.ini pour le modifier. Par exemple : extension=php_bz2.dll.

Ajoutez la ligne "extension=php_redis.dll" (sans les guillemets) à ce contenu chargé.

Après l'ajout, fermez et enregistrez.

Redémarrez le service WAMP et confirmez si l'extension phpRedis est chargée correctement comme indiqué.

Si vous voyez le mot php_redis dans les extensions php et que vous le vérifiez, félicitations, cela signifie que le chargement est réussi !

Notes

1. Sélectionnez la version de l'extension phpRedis, qui doit être cohérente avec la version de l'environnement PHP utilisé. Tel que php5.6 ou 7.0, 32 bits ou 64 bits.

Avant d'installer l'extension phpRedis, il est préférable d'avoir installé le service Redis afin de pouvoir facilement tester si l'extension est efficace.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!