diff --git a/.gitattributes b/.gitattributes
index f2898ffd1a6c9b773249bb4a9de6ac59e791a984..59ca1f1f20b664e9e2cbfeeeac9d0208bbfeaa78 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -797,6 +797,7 @@ prive/themes/spip/images/ok-16.png -text
 prive/themes/spip/images/ok-24.png -text
 prive/themes/spip/images/ok-32.png -text
 prive/themes/spip/images/ouvrir-16.png -text
+prive/themes/spip/images/php-16.png -text
 prive/themes/spip/images/plugin-16.png -text
 prive/themes/spip/images/plugin-24.png -text
 prive/themes/spip/images/plugin-32.png -text
diff --git a/ecrire/paquet.xml b/ecrire/paquet.xml
index cfa1cbde2816a2a3c3308d08ab598efe98d1d28d..83a7d663a627f844d8ae6a82c65816cf26e6ca9f 100644
--- a/ecrire/paquet.xml
+++ b/ecrire/paquet.xml
@@ -160,6 +160,7 @@
 	<menu nom="configurer_avancees" titre="onglet_fonctions_avances" parent="menu_configuration" icone="images/configuration-16.png" />
 	<menu nom="admin_plugin" titre="icone_admin_plugin" parent="menu_configuration" position="-1" icone="images/plugin-16.png" />
 	<menu nom="menu_developpement" titre="icone_developpement" icone="images/developpement-48.png" action="navigation" parametres="menu=menu_developpement" />
+	<menu nom="phpinfos" titre="phpinfo" parent="menu_developpement" icone="images/php-16.png" action="info" />
 	<menu nom="outils_collaboratifs" titre="icone_outils_collaboratifs" />
 	<menu nom="outils_rapides" titre="icone_outil_rapides" />
 	<menu nom="rubrique_creer" titre="icone_creer_rubrique_2" parent="outils_rapides" icone="images/rubrique-new-16.png" action="rubrique_edit" parametres="new=oui&amp;id_parent=@id_rubrique@" />
diff --git a/prive/themes/spip/images/php-16.png b/prive/themes/spip/images/php-16.png
new file mode 100644
index 0000000000000000000000000000000000000000..3d6f989f5c38ad1c4aec66ad6af730fabf3ed8e0
Binary files /dev/null and b/prive/themes/spip/images/php-16.png differ