JavaAPI-Redirector
Redirect to the latest Java SE API document.
Что такое JavaAPI-Redirector?
JavaAPI-Redirector - это расширение Chrome, разработанное https://yuji.software, и его основная функция - "Redirect to the latest Java SE API document.".
Снимки экрана расширения
Скачать файл CRX расширения JavaAPI-Redirector
Скачайте файлы расширений JavaAPI-Redirector в формате crx, установите расширения Chrome вручную в браузере или поделитесь файлами crx с друзьями, чтобы легко установить расширения Chrome.
Инструкции по использованию расширения
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).
Основная информация о расширении
Название | JavaAPI-Redirector |
ID | kildmhgekjfidnaohdmopdcoibigchkj |
Официальный URL | https://chromewebstore.google.com/detail/javaapi-redirector/kildmhgekjfidnaohdmopdcoibigchkj |
Описание | Redirect to the latest Java SE API document. |
Размер файла | 25.88 KB |
Количество установок | 707 |
Текущая Версия | 1.3.13 |
Последнее Обновление | 2023-12-11 |
Дата публикации | 2020-05-27 |
Рейтинг | 5.00/5 Всего 1 оценок |
Разработчик | https://yuji.software |
Электронная почта | [email protected] |
Тип оплаты | free |
Официальный сайт расширения | https://github.com/YujiSoftware/JavaAPI-Redirector |
URL страницы помощи | https://github.com/YujiSoftware/JavaAPI-Redirector/issues |
Поддерживаемые языки | 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 } } |