JavaAPI-Redirector
Redirect to the latest Java SE API document.
Wat is JavaAPI-Redirector?
JavaAPI-Redirector is een Chrome-extensie ontwikkeld door https://yuji.software, en de belangrijkste functie is "Redirect to the latest Java SE API document.".
Extensie Screenshots
Download het CRX-bestand van de extensie JavaAPI-Redirector
Download JavaAPI-Redirector-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.
Instructies voor het Gebruik van de Extensie
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). Basisinformatie over de Extensie
| Naam | |
| ID | kildmhgekjfidnaohdmopdcoibigchkj |
| Officiële URL | https://chromewebstore.google.com/detail/javaapi-redirector/kildmhgekjfidnaohdmopdcoibigchkj |
| Beschrijving | Redirect to the latest Java SE API document. |
| Bestandsgrootte | 25.88 KB |
| Aantal Installaties | 707 |
| Huidige Versie | 1.3.13 |
| Laatst Bijgewerkt | 2023-12-11 |
| Publicatiedatum | 2020-05-27 |
| Beoordeling | 5.00/5 Totaal 1 Beoordelingen |
| Ontwikkelaar | https://yuji.software |
| [email protected] | |
| Betalingswijze | free |
| Extensiewebsite | https://github.com/YujiSoftware/JavaAPI-Redirector |
| Help Pagina-URL | https://github.com/YujiSoftware/JavaAPI-Redirector/issues |
| Ondersteunde Talen | 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
}
} | |