widgetでは以下のJavaScriptファイルを利用している。 /js/lib/WidgetLibrary.js /js/lib/ExtensionLibrary.js /js/lib/PreferencesLibrary.js しかし、これらのファイルを直接見ることはできない。Extension、Preferences、mylo.KeyCode、RequestHttpなどの…