mylo widgetのjsファイルを見る

以下のような感じで、mylo widgetのjavascriptファイルを見ることができました。

var LaunchJS = function (){
  var http_request = new RequestHttp();
  http_request.open('GET', "/js/lib/ExtensionLibrary.js", openFile);
  http_request.send(null);
}
var openFile = function (flag, request){
  var textdoc = request.responseText;
  document.getElementById("test").value = textdoc;
}