PHP Documentation Search Autor: Firefox user 13918004

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.