Lines Matching defs:extra
22 var extra = "", start, end;
28 //extra += "<script src='http://getfirebug.com/releases/lite/1.2/" +
31 extra += start + "util.js" + end;
32 extra += start + "webutil.js" + end;
33 extra += start + "base64.js" + end;
34 extra += start + "websock.js" + end;
35 extra += start + "des.js" + end;
36 extra += start + "input.js" + end;
37 extra += start + "display.js" + end;
38 extra += start + "rfb.js" + end;
39 extra += start + "jsunzip.js" + end;
41 document.write(extra);
