PHP Search

Adds support to the omnibox to search the PHP reference docs.

Qu'est-ce que PHP Search ?

PHP Search est une extension Chrome développée par xeno.be, et sa fonction principale est "Adds support to the omnibox to search the PHP reference docs.".

Captures d'Écran de l'Extension

screenshot

Télécharger le fichier CRX de l'extension PHP Search

Téléchargez les fichiers d'extension PHP Search au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

                        Use this omnibox plugin to directly search the online PHP help.

Simply type 'php ' to start your search, then the name of whatever class you are looking for help with, to take you straight to the relevant page in the  online documentation.

This extension will try and find the mirror site nearest to you. You can change this site in the extensions options page: either through Chrome's extensions page or by typing 'php options' in the omnibox.

Source from: 

https://github.com/mpress/developer-omniboxes-for-chrome                    

Informations de Base sur l'Extension

Nom PHP Search PHP Search
ID mfpdmlochkjkogiihgjlnlagdigapnfn
URL Officiel https://chrome.google.com/webstore/detail/php-search/mfpdmlochkjkogiihgjlnlagdigapnfn
Description Adds support to the omnibox to search the PHP reference docs.
Taille du Fichier 112 KB
Nombre d'Installations 286
Version Actuelle 3.0.1
Dernière Mise à Jour 2015-10-09
Date de Publication 2015-10-09
Évaluation 5.00/5 Total 2 Évaluations
Développeur xeno.be
Type de Paiement free
Langues Prises en Charge en
manifest.json
{
    "update_url": "http:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "PHP Search",
    "manifest_version": 2,
    "description": "Adds support to the omnibox to search the PHP reference docs.",
    "background": {
        "scripts": [
            "String.js",
            "index.js",
            "getMirror.js",
            "background.js"
        ]
    },
    "options_page": "options.html",
    "icons": {
        "128": "icons\/icon128.png",
        "32": "icons\/icon32.png",
        "16": "icons\/icon16.png"
    },
    "omnibox": {
        "keyword": "php"
    },
    "permissions": [
        "tabs",
        "http:\/\/www.php.net\/"
    ],
    "version": "3.0.1"
}