Thread:Manual:JS/API/UI Extension Developer Library/What else should we add?/reply (2)

JEDL is the shortcut.