rem: document.__gmRegisterMenuCommand("Coralize page", function() { 
add: document.GM_registerMenuCommand("Coralize page", function() { 
context: (function() {//http://foo.com/bar.html becomes//http://foo.com.nyud.net:8090/bar.html.    var coralPartsRegExp = new RegExp("^([^:]+:)?/{2,}([^:/]+)(:\[0-9]+)?/(.*)");    var coralizedRegExp = new RegExp("^http://([^:/]+)\.nyud\.net:8090/");        function checkCanCoralize(url) {    	var reResults = coralizedRegExp.exec(url);    	if (reResults != null) return false;  // already Coralized        	reResults = coralPartsRegExp.exec(url);    	if (reResults == null) return false;  // cannot be Coralized (not a URL?)    	if (reResults[1] != "http:") return false;  // not HTTP        	return true;    }  document.__gmRegisterMenuCommand("Coralize page", function() {        var parts;        var newLoc;                if (!checkCanCoralize(document.location)) {            alert("Can't coralize.");            return;        }              parts = coralPartsRegExp.exec(document.location);              if (parts[3] != null) {        	var port = new String(parts[3]).substr(1);        	newLoc = "http://"+parts[2]+"."+port+".nyud.net:8090/"+parts[4];        }        else {        	newLoc = "http://"+parts[2]+".nyud.net:8090/"+parts[4];        }                document.location = newLoc;      }    );})();
meta: 2115	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2115/db882c90b01253074ee20e4a9b8815c02fa0f2c3/coralize.user.js/clean/downloads/coralize.user.js