Javadoc Redirector
Redirects you automatically to the Java 8 Javadoc.
What is Javadoc Redirector?
Javadoc Redirector is a Chrome extension developed by z3ntu, and its main feature is "Redirects you automatically to the Java 8 Javadoc.".
Extension Screenshots
Download Javadoc Redirector Extension CRX File
Download Javadoc Redirector extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
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.
Extension Basic Information
Name | Javadoc Redirector |
ID | pkpckmephcfffdfjemgnekclglhpkcom |
Official URL | https://chromewebstore.google.com/detail/javadoc-redirector/pkpckmephcfffdfjemgnekclglhpkcom |
Description | Redirects you automatically to the Java 8 Javadoc. |
File Size | 26.16 KB |
Installation Count | 369 |
Current Version | 1.2 |
Last Updated | 2022-09-10 |
Publish Date | 2016-09-13 |
Rating | 4.67/5 Total 6 Ratings |
Developer | z3ntu |
[email protected] | |
Payment Type | free |
Extension Website | https://github.com/z3ntu/JavadocRedirector |
Supported Languages | 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" } } |