Voici une extension chrome qui va ravir tous les développeurs php.
L'extension google chrome PHP documentation permet de rechercher directement dans la documentation php.
Une fois installée cette extension permet d'effectuer des recherches directement dans le manuel php. Il est possible de paramêtrer cette extension pour qu'elle recherche dans les différents moteurs de recherche du manuel php :
- Tous les sites php.net
- Seulement les miroirs
- La liste des fonctions
- La documentation en ligne
- Les archives des news
- Les changelogs
- Seulement dans la documentation PEAR
- Seulement dans la documentation PECL
- Les conférences php
- La mailing list générale
- La mailing list développeur
- La mailing list documentation
Personnellement je l'ai paramétrée pour rechercher directement dans la liste des fonctions php pour trouver directement les paramètres des fonctions et leurs déclarations.
Image : Tobias Schlitt