Comment installer l'extension Redis en PHP

Cet article vous présente principalement les étapes et méthodes spécifiques à l'installation de l'extension Redis avec PHP sous Windows .

Extension RedisAdresse de téléchargement : https://windows.php.net/downloads/pecl/releases/redis/

Référence recommandée pour apprentissage : "

Tutoriel Redis"

Ci-dessous nous combinerons des images et des textes détaillés pour vous présenter comment installer l'extension Redis

avec PHP sous Windows : Tout d'abord, nous ouvrons l'adresse du lien de téléchargement indiquée ci-dessus. L'interface est la suivante :

Ici, nous choisissons de cliquer sur un répertoire pour afficher différentes versions du Redis. extension comme suit :

Notez que

le téléchargement et l'installation du package d'extension Redis doivent correspondre à la version PHP que nous utilisent. Par exemple, ma version PHP ici est php-7.2.9-NTS et est vc15, x64, donc la version du package d'extension Redis que je dois télécharger est php_redis-4.0.0rc1-7.2-nts-vc15-x64. Cliquez ensuite pour télécharger le package d'extension Redis, décompressez-le et copiez le fichier

php_redis.dll

directement dans le dossier ext dans notre environnement php correspondant, l'opération est comme indiqué ci-dessous :

Ensuite, nous ouvrons le

fichier php-ini

et recherchons extension, retrouvez l'emplacement dans l'image ci-dessous, ajoutez ce code :

L'opération spécifique est la suivante :

extension=php_redis.dll

Puis

enregistrez et redémarrez

notre environnement PHP.

Enfin, nous pouvons vérifier si

Redis

est installé avec succès via PHPinfo.

Comme le montre l'image, l'extension Redis a été installée avec succès.

Cet article concerne les étapes et méthodes spécifiques de

Installation PHP de l'extension Redis

Il est facile à comprendre et a une certaine valeur de référence. J'espère qu'il sera utile aux amis dans le besoin !

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!