La barre de recherche est très utile dans firefox malheureusement il n’y pas pas tous les sites que l’on veut
Je me suis donc rajouté un petit bien utile : la documentation php officiel

Il suffit de télécharger le fichier suivant :

Search plugin php doc firefox

et de le sauvegarder dans le répertoire searchplugins de firefox

après avoir relancé firefox vous aurez la doc php dans la liste des moteurs de recherche