JavaAPI-Redirector
Redirect to the latest Java SE API document.
O que é JavaAPI-Redirector?
JavaAPI-Redirector é uma extensão do Chrome desenvolvida por https://yuji.software, e sua principal característica é "Redirect to the latest Java SE API document.".
Capturas de Tela da Extensão
Baixar o arquivo CRX da Extensão JavaAPI-Redirector
Baixe arquivos de extensão JavaAPI-Redirector no formato crx, instale manualmente as extensões do Chrome no navegador ou compartilhe os arquivos crx com amigos para instalar facilmente as extensões do Chrome.
Instruções de Uso da Extensão
Redirect to latest Java SE API document. https://docs.oracle.com/javase/8/docs/api/java/lang/String.html → https://docs.oracle.com/javase/17/docs/api/java/lang/String.html Redirect the Java API version can be selected (Java 6 - 21).
Informações Básicas da Extensão
Nome | JavaAPI-Redirector |
ID | kildmhgekjfidnaohdmopdcoibigchkj |
URL Oficial | https://chromewebstore.google.com/detail/javaapi-redirector/kildmhgekjfidnaohdmopdcoibigchkj |
Descrição | Redirect to the latest Java SE API document. |
Tamanho do Arquivo | 25.88 KB |
Contagem de Instalações | 707 |
Versão Atual | 1.3.13 |
Última Atualização | 2023-12-11 |
Data de Publicação | 2020-05-27 |
Classificação | 5.00/5 Total de 1 Avaliações |
Desenvolvedor | https://yuji.software |
[email protected] | |
Tipo de Pagamento | free |
Site da Extensão | https://github.com/YujiSoftware/JavaAPI-Redirector |
URL da Página de Ajuda | https://github.com/YujiSoftware/JavaAPI-Redirector/issues |
Idiomas Suportados | ms,en,fr,es,it,pt-BR,ru,ar,ja |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "JavaAPI-Redirector", "version": "1.3.13", "description": "__MSG_extDescription__", "default_locale": "en", "applications": { "gecko": { "id": "{592a7624-ad88-4d43-aec3-e940dcad653a}" } }, "icons": { "48": "icons\/icon.png", "128": "icons\/icon_128.png" }, "permissions": [ "storage" ], "content_scripts": [ { "matches": [ "*:\/\/docs.oracle.com\/*" ], "js": [ "search-index.js", "document.js" ], "run_at": "document_start" } ], "options_ui": { "page": "options.html", "chrome_style": true } } |