don't require the SeaMonkey identifier to directly follow the Gecko one
authorkairo@kairo.at
Sat, 22 Sep 2007 02:11:35 +0000
changeset 31 0ad3907d44ed2563303061e5d983ff90bbd80dbf
parent 30 6a67f434e5f0bca32604bb1c5c531cf102e434da
child 32 59e6ea60f5b0029311facc63a9e35abdff873dc0
push id1
push userhg
push dateTue, 07 Apr 2015 21:00:21 +0000
don't require the SeaMonkey identifier to directly follow the Gecko one
src/start/index.en.html
--- a/src/start/index.en.html
+++ b/src/start/index.en.html
@@ -23,18 +23,18 @@
     var ua = navigator.userAgent;
     // Uncomment one of those user agents to test this script
     // var ua="Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.8b2) Gecko/20050324 SeaMonkey/1.0a"
     // var ua="Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.6) Gecko/20070802 SeaMonkey/1.1.4"
     // var ua="Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9a8pre) Gecko/2007082021 SeaMonkey/2.0a1pre"
     // var ua="Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0rc3) Gecko/20020523"
 
     // Search for the Gecko build date in the User Agent string
-    const buildID = ua.match(/Gecko\/(\d{8,10}) SeaMonkey/);
-    if (!buildID) {
+    const buildID = ua.match(/Gecko\/(\d{8,10})/);
+    if (!buildID || !ua.match(/ SeaMonkey\//)) {
       // not SeaMonkey, display a "get SeaMonkey" box
       highlightDownload("download");
       document.getElementById("stable").style.display = "none";
       document.getElementById("getseamonkey").style.display = "block";
       return;
     }
 
     const smver = ua.match(/SeaMonkey\/([^ ]+)/);