L’éditeur de plugins est un éditeur de texte simple situé à l’adresse Plugins » Éditeur. Il permet aux utilisateurs/utilisatrices de voir et de modifier les fichiers d’extension à partir de la zone d’administration de WordPress.
L’éditeur de texte comporte une zone de texte dans laquelle il ouvre les fichiers d’extension. Sur le côté droit, il répertorie tous les fichiers de l’extension sélectionnée. Un menu déroulant en haut vous permet de sélectionner l’extension que vous souhaitez modifier.
Il est important de noter que toutes les modifications que vous apportez directement dans les fichiers du cœur de votre extension seront annulées lors de la mise à jour de l’extension. En théorie, vous ne devriez jamais utiliser l’éditeur/éditrices de l’extension pour modifier des fichiers. Version développeurs/développeuses utilisent l’éditeur intégré pour voir le code et faire les modifications appropriées en utilisant un crochet ou un filtre dans l’extension. Si, pour une raison quelconque, vous trouvez qu’il est absolument nécessaire de modifier le fichier cœur du plugin, nous vous recommandons d’en parler d’abord à l’auteur/autrice du plugin. Il y a peut-être une meilleure façon d’accomplir ce que vous essayez de faire plutôt que de modifier le fichier central de l’extension. La seule raison pour laquelle nous disons cela est que vous ne voulez pas passer du temps à faire les modifications à chaque fois que vous mettez à jour l’extension. En même temps, vous ne voulez pas arrêter les mises à jour de l’extension parce que cela pourrait vous exposer à un risque de sécurité sérieux s’il y avait une vulnérabilité dans l’extension.
Contrairement à l’éditeur de thème, si vous faites une erreur de syntaxe dans l’éditeur de votre extension, cela ne vous empêchera pas d’accéder à l’administration de WordPress. Il désactivera simplement l’extension et vous expliquera l’erreur.
Dernier point, vous devez utiliser cette section uniquement si vous savez ce que vous faites.
