tbrehm
2011-07-22 c5d17d3fd1bbdca95dd9230a2ab54f5aef04aef8
interface/web/js/scrigo.js.php
@@ -503,3 +503,14 @@
  }
  
}
function getInternetExplorerVersion() {
    var rv = -1; // Return value assumes failure.
    if (navigator.appName == 'Microsoft Internet Explorer') {
        var ua = navigator.userAgent;
        var re = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
        if (re.exec(ua) != null)
            rv = parseFloat(RegExp.$1);
    }
    return rv;
}