in js/details.js [575:590]
function getCheckedBugIds() {
let list = [];
bugset.every(function (bug) {
let checkBox = document.getElementById('check-' + bug.bugid);
if (checkBox == null) {
//console.log('Mismatched check boxes with bug ids, something is messed up. Bailing.');
list = [];
return false;
}
if (checkBox.checked) {
list.push(bug.bugid);
}
return true;
});
return list;
}