Qu'est-ce que JavaAPI-Redirector ?

JavaAPI-Redirector est une extension Chrome développée par https://yuji.software, et sa fonction principale est "Redirect to the latest Java SE API document.".

Captures d'Écran de l'Extension

Télécharger le fichier CRX de l'extension JavaAPI-Redirector

Téléchargez les fichiers d'extension JavaAPI-Redirector au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

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).

Informations de Base sur l'Extension

Nom	JavaAPI-Redirector
ID	kildmhgekjfidnaohdmopdcoibigchkj
URL Officiel	https://chromewebstore.google.com/detail/javaapi-redirector/kildmhgekjfidnaohdmopdcoibigchkj
Description	Redirect to the latest Java SE API document.
Taille du Fichier	25.88 KB
Nombre d'Installations	707
Version Actuelle	1.3.13
Dernière Mise à Jour	2023-12-11
Date de Publication	2020-05-27
Évaluation	5.00/5 Total 1 Évaluations
Développeur	https://yuji.software
Email	[email protected]
Type de Paiement	free
Site Web de l'Extension	https://github.com/YujiSoftware/JavaAPI-Redirector
URL de la Page d'Aide	https://github.com/YujiSoftware/JavaAPI-Redirector/issues
Langues Prises en Charge	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 } }