rem: function getContents(aURL){ 
add: function getContents(aURL, charset){ if( !charset ) { charset = "UTF-8" } 
context: function getContents(aURL){  var ioService=Components.classes["@mozilla.org/network/io-service;1"]    .getService(Components.interfaces.nsIIOService);  var scriptableStream=Components    .classes["@mozilla.org/scriptableinputstream;1"]    .getService(Components.interfaces.nsIScriptableInputStream);  var channel=ioService.newChannel(aURL,null,null);  var input=channel.open();  scriptableStream.init(input);  var str=scriptableStream.read(input.available());  scriptableStream.close();  input.close();  return str;}
meta: 4236	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4236/3b3bf654f3b0e51ee92a3144c3628e1c633c6e20/greasemonkey.js/buggy/src/content/greasemonkey.js