JavaAPI-Redirector
Redirect to the latest Java SE API document.
Co to jest JavaAPI-Redirector?
JavaAPI-Redirector to rozszerzenie Chrome opracowane przez https://yuji.software, a jego główną funkcją jest „Redirect to the latest Java SE API document.”.
Zrzuty ekranu rozszerzenia
Pobierz plik CRX rozszerzenia JavaAPI-Redirector
Pobierz pliki rozszerzeń JavaAPI-Redirector w formacie crx, zainstaluj ręcznie rozszerzenia Chrome w przeglądarce lub udostępnij pliki crx znajomym, aby łatwo zainstalować rozszerzenia Chrome.
Instrukcja Użytkowania Rozszerzenia
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).
Podstawowe informacje o rozszerzeniu
Nazwa | JavaAPI-Redirector |
ID | kildmhgekjfidnaohdmopdcoibigchkj |
Oficjalny URL | https://chromewebstore.google.com/detail/javaapi-redirector/kildmhgekjfidnaohdmopdcoibigchkj |
Opis | Redirect to the latest Java SE API document. |
Rozmiar pliku | 25.88 KB |
Liczba instalacji | 707 |
Aktualna Wersja | 1.3.13 |
Ostatnia Aktualizacja | 2023-12-11 |
Data Publikacji | 2020-05-27 |
Ocena | 5.00/5 Łącznie 1 Oceny |
Deweloper | https://yuji.software |
[email protected] | |
Typ Płatności | free |
Strona Rozszerzenia | https://github.com/YujiSoftware/JavaAPI-Redirector |
Adres URL Strony Pomocy | https://github.com/YujiSoftware/JavaAPI-Redirector/issues |
Obsługiwane Języki | 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 } } |