Cos'è Javadoc Redirector?

Javadoc Redirector è un'estensione di Chrome sviluppata da z3ntu, e la sua funzione principale è "Redirects you automatically to the Java 8 Javadoc.".

Screenshot dell'Estensione

Scarica il file CRX dell'estensione Javadoc Redirector

Scarica i file di estensione Javadoc Redirector in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

Are you tired of getting Javadoc search results from Java 7?
Not anymore! Because 'Javadoc Redirector' automatically redirects you from those Java 7 pages to Java 8 ones!

A simple extension that just redirects you from e.g. https://docs.oracle.com/javase/7/docs/api/java/lang/Object.html to the Java 8 equivalent: https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html as different search machines still show Java 7 as first result.

Informazioni di Base sull'Estensione

Nome	Javadoc Redirector
ID	pkpckmephcfffdfjemgnekclglhpkcom
URL Ufficiale	https://chromewebstore.google.com/detail/javadoc-redirector/pkpckmephcfffdfjemgnekclglhpkcom
Descrizione	Redirects you automatically to the Java 8 Javadoc.
Dimensione del File	26.16 KB
Conteggio Installazioni	369
Versione Corrente	1.2
Ultimo Aggiornamento	2022-09-10
Data di Pubblicazione	2016-09-13
Valutazione	4.67/5 Totale 6 Valutazioni
Sviluppatore	z3ntu
Email	[email protected]
Tipo di Pagamento	free
Sito Web dell'Estensione	https://github.com/z3ntu/JavadocRedirector
Lingue Supportate	en
manifest.json
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "Javadoc Redirector", "description": "Redirects you automatically to the Java 8 Javadoc.", "version": "1.2", "author": "z3ntu", "homepage_url": "https:\/\/z3ntu.github.io", "content_scripts": [ { "js": [ "js\/replace.js" ], "matches": [ ":\/\/docs.oracle.com\/javase\/\/docs\/api\/" ], "run_at": "document_start" } ], "permissions": [ ":\/\/docs.oracle.com\/javase\/*" ], "icons": { "16": "icons\/icon-16.png", "48": "icons\/icon-48.png", "128": "icons\/icon-128.png" } }