PHP Documentation Search par Utilisateur ou utilisatrice 13918004 de Firefox

This add-on searches the official php documentation for a given term. It provides a search field, that can be accessed from the toolbar as well as it adds a search option for selected text to the context menu.