rem: EchoWebCore.Environment._parseVersionInfo = function(ua, searchString) { var ix1 = ua.indexOf(searchString); var ix2 = ua.indexOf(".", ix1); var ix3 = ua.length;  if (ix2 == -1) { ix2 = ua.length; } else {  for (var i = ix2 + 1; i < ua.length; i++) { var c = ua.charAt(i); if (isNaN(c)) { ix3 = i; break; 
add: _parseVersionInfo: function(ua, searchString) { var ix1 = ua.indexOf(searchString); var ix2 = ua.indexOf(".", ix1); var ix3 = ua.length;  if (ix2 == -1) { ix2 = ua.length; } else {  for (var i = ix2 + 1; i < ua.length; i++) { var c = ua.charAt(i); if (isNaN(c)) { ix3 = i; break; } 
context: EchoWebCore.Environment._parseVersionInfo = function(ua, searchString) {    var ix1 = ua.indexOf(searchString);    var ix2 = ua.indexOf(".", ix1);    var ix3 = ua.length;        if (ix2 == -1) {        ix2 = ua.length;    } else {        // search for the first non-number character after the dot        for (var i = ix2 + 1; i < ua.length; i++) {            var c = ua.charAt(i);            if (isNaN(c)) {                ix3 = i;                break;            }        }    }        EchoWebCore.Environment.BROWSER_MAJOR_VERSION = parseInt(ua.substring(ix1 + searchString.length, ix2));    if (ix2 == ua.length) {        EchoWebCore.Environment.BROWSER_MINOR_VERSION = 0;    } else {        EchoWebCore.Environment.BROWSER_MINOR_VERSION = parseInt(ua.substring(ix2 + 1, ix3));    }};
meta: 600	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/600/4705113f80e2c9e4d43ad240349e3193f4caf648/WebCore.js/clean/src/webcontainer/java/nextapp/echo/webcontainer/resource/js/WebCore.js