in MotionMark/resources/debug-runner/debug-runner.js [162:176]
valueForOption: function(name)
{
var formElement = document.forms["benchmark-options"].elements[name];
if (formElement.type == "checkbox")
return formElement.checked;
else if (formElement.constructor === HTMLCollection) {
for (var i = 0; i < formElement.length; ++i) {
var radio = formElement[i];
if (radio.checked)
return formElement.value;
}
return null;
}
return formElement.value;
},