web pages: fix platform sorting on download pages

Fix use of wrong array element during sort, where using the wrong element
caused "Windows source" to be sorted before "Windows (x86, 32-bit)".
(The wrong-element bug was introduced with changed to support the button
that downloads directly from the default mirror.)

Closes PR 14655 and PR 14656
This commit is contained in:
Matthew Flatt 2014-07-23 10:42:02 +01:00
parent 7d87e5ab23
commit 0e4db0a7f0

View File

@ -290,8 +290,8 @@
var ord1 = getOrder(opt1[0]), ord2 = getOrder(opt2[0]);
if (ord1 < ord2) return -1;
else if (ord1 > ord2) return +1;
else if (opt1[2] < opt2[2]) return -1;
else if (opt1[2] > opt2[2]) return +1;
else if (opt1[4] < opt2[4]) return -1;
else if (opt1[4] > opt2[4]) return +1;
else return 0;
}
// sort the options, need to use a temporary array