Opera blêder is fereaske.
This extension automatically changes JavaDocs to a selected version from every other one.
· For JavaSE, version defaults to 8, and conversion to 11+ only works from 11+.
· For JavaEE, selecting versions over current max (7) automatically redirect to 7.
· For JavaFX, 11+ versions (out of Oracle docs) aren't supported.
The addon makes use of a small window for selecting the prefered version and for turning the extension on/off. It perfoms the update using some simple JS "replace" functions.
- Dizze tafoeging kin tagong ha ta jo gegevens op guon websteeën.
Skermprint
Oer de tafoeging
- Ynladen
- 708
- Kategory
- Developer Tools
- Ferzje
- 1.2
- Grutte
- 96.1 KB
- Last update
- July 25, 2022
- Lisinsje
- Boarne koade side
- https://github.com/TheDavidDelta/myJDoc
Related
-
EditThisCookie
EditThisCookie is a cookie manager. You can add, delete, edit, search, protect and block cookies!
Wurdearring: Totale tal wurdearrings: 90
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Wurdearring: Totale tal wurdearrings: 112
-
DomainUserAgent
This extension changes the UserAgent sent by your browser on a per-domain base. You can set up a different UserAgent for a specific domain, but still use the default one otherwise.
Wurdearring: Totale tal wurdearrings: 7
-
JavaScript QR Code
Make QR Codes in JavaScript
Wurdearring: Totale tal wurdearrings: 6
-
Quick Schema - JSON-LD Generator
Generate and copy LocalBusiness schema markup with one click. A free tool by Ideal Media Pro.
Wurdearring: Totale tal wurdearrings: 0