JavaScript error highlighting doesn't know about setInterval, XMLHttpRequest methods, Date:
if (!UITableInputBase.pingInterval) { UITableInputBase.pingInterval = setInterval( function () { var http = new XMLHttpRequest(); http.open("get", "/version.txt?rnd=" + new Date().getTime(), true); http.send(null); }, 300 * 1000 ); }


