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 | |
| 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
}
} | |