Comment éditer php.ini avec Webmin

Webmin est un outil d'administration web pour configurer des systèmes Linux, permettant d'effectuer des tâches d'administration sur un serveur distant via une interface simple. Outre l'édition directe des fichiers de configuration, Webmin extrait les réglages les plus courants pour serveurs et applications. Vous pouvez alors les modifier rapidement via une interface dédiée, sans mémoriser les directives de configuration. Le fichier php.ini est l'un des nombreux fichiers de configuration de serveur éditables ainsi.

Étape 1

Ouvrez un navigateur web et saisissez l'URL de votre serveur Webmin, par exemple :

https://www.mondomaine.com:10000/

Par défaut, Webmin utilise une connexion SSL pour la sécurité, et le serveur tourne sur le port 10000. Changez le port si vous l'avez configuré différemment.

Étape 2

Saisissez un nom d'utilisateur et mot de passe système pour vous connecter. L'utilisateur doit avoir les droits pour éditer php.ini (administrateur ou root).

Étape 3

Cliquez sur l'onglet « Autres » dans la barre de menu principale de Webmin, puis sur « Configuration PHP » dans la page qui apparaît.

Étape 4

Cliquez sur le lien « Gérer » pour modifier les réglages les plus courants via une interface simple. Effectuez les changements requis, puis cliquez « Sauvegarder ».

Étape 5

Cliquez sur « Éditer manuellement » pour éditer le fichier php.ini brut vous-même. Cela donne un contrôle total, sans limitation aux réglages courants. Modifiez les paramètres requis, puis cliquez « Sauvegarder ».

Étape 6

Redémarrez Apache pour appliquer les nouveaux réglages PHP. Cliquez sur « Serveurs » dans le menu principal, puis « Serveur Web Apache ». Les onglets en haut permettent d'arrêter et redémarrer Apache.

Astuce

Faites une sauvegarde de php.ini avant d'éditer. Webmin ne fait pas de vérification syntaxique : une erreur peut arrêter PHP ou Apache. Vous pourrez alors restaurer la sauvegarde.