Developer search tool
Right click search tool for developers using chrome browser.
Wat is Developer search tool?
Developer search tool is een Chrome-extensie ontwikkeld door shay zeevi, en de belangrijkste functie is "Right click search tool for developers using chrome browser.".
Extensie Screenshots
Download het CRX-bestand van de extensie Developer search tool
Download Developer search tool-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.
Instructies voor het Gebruik van de Extensie
This right click search tool extension will let you search for selected text in stackoverflow, wordpress codex, php.net and jquery api doc's.
Basisinformatie over de Extensie
Naam | Developer search tool |
ID | bkolnanfonknnhpeakommihhllojnecf |
Officiële URL | https://chromewebstore.google.com/detail/developer-search-tool/bkolnanfonknnhpeakommihhllojnecf |
Beschrijving | Right click search tool for developers using chrome browser. |
Bestandsgrootte | 123 KB |
Aantal Installaties | 415 |
Huidige Versie | 1.1 |
Laatst Bijgewerkt | 2017-05-03 |
Publicatiedatum | 2017-05-03 |
Beoordeling | 5.00/5 Totaal 4 Beoordelingen |
Ontwikkelaar | shay zeevi |
[email protected] | |
Betalingswijze | free |
Ondersteunde Talen | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "Developer search tool", "version": "1.1", "description": "Right click search tool for developers using chrome browser.", "icons": { "128": "dst-icon-128.png", "48": "dst-icon-48.png", "16": "dst-icon-16.png" }, "background": { "scripts": [ "php-search.js", "wp-search.js", "stackoverflow-search.js", "jquery-search.js" ], "persistent": false }, "permissions": [ "contextMenus" ] } |