Comment installer l'extension fileinfo dans php7.2

Dans le développement PHP, il est souvent nécessaire d'utiliser fileinfo pour effectuer la détection de type, la détection d'encodage et d'autres opérations sur les fichiers téléchargés, ce qui nécessite l'installation de l'extension fileinfo. En version PHP 7.2, une nouvelle méthode est requise pour installer l'extension. Cet article explique comment installer l'extension fileinfo dans PHP 7.2.

1. Préparation

Avant de commencer l'installation, nous devons savoir quelques choses :

• Assurez-vous que votre version de PHP est 7.2 ou supérieure. Vous pouvez le vérifier en entrant la commande suivante dans le terminal :

php -v

Si la version est inférieure à 7.2, veuillez mettre à jour PHP vous-même.

• Assurez-vous d'avoir installé les outils de développement PHP et GCC.

Sous Linux, vous pouvez l'installer avec :

sudo apt-get install phpize gcc

Sous MacOS, vous pouvez l'installer avec Homebrew :

brew install autoconf
brew install automake

• Assurez-vous d'avoir activé l'extension fileinfo dans php.ini. Dans la plupart des cas, ceci est activé par défaut. Vous pouvez le vérifier avec la commande suivante :

php -i | grep fileinfo

Si des informations sur l'extension fileinfo sont affichées, cela signifie que l'extension a été activée.

2. Processus d'installation

Maintenant, le véritable processus d'installation commence.

• Téléchargez le package source php7.2.

  Vous pouvez télécharger le dernier package source PHP7.2 sur le site officiel (https://www.php.net/downloads.php).

• Décompressez le package de code source.

Utilisez la commande suivante pour décompresser :

tar xvf php-7.2.0.tar.gz

Entrez ensuite le répertoire décompressé :

cd php-7.2.0

• Entrez le répertoire ext.

cd ext/fileinfo

• Exécutez phpize.

phpize

Si l'invite ne trouve pas la commande phpize, vous devez installer les outils de développement php.

• Exécutez ./configure.

./configure

• Compilé.

make

• Installation.

sudo make install

À ce stade, l'extension fileinfo a été installée avec succès dans votre environnement PHP 7.2.

3. Résultats des tests

Afin de garantir le succès de l'installation, nous pouvons la tester via la commande suivante :

php -r 'echo finfo_file(finfo_open(FILEINFO_MIME_TYPE), "test.jpg") . "\n";'

où "test.jpg" est un nom de fichier qui existe dans le répertoire actuel, vous pouvez remplacez-le par votre Le nom du fichier à tester.

Si le type MIME du fichier est généré, l'installation est réussie.

4. Résumé

Il n'est pas difficile d'installer l'extension fileinfo, suivez simplement les étapes ci-dessus. Cependant, il convient de noter que chaque étape nécessite des prérequis correspondants, donc avant de commencer l'installation, vous devez lire attentivement les préparatifs mentionnés dans cet article. J'espère que cet article vous aidera à vous améliorer dans le développement PHP.

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!