[web] kill https-deny-anonymous option (closes #5193687)
It doesn't make much sense to prevent people from using https.
// This contains template-specific javascript
function filterLog(domid, thresholdLevel) {
var logLevels = ["Debug", "Info", "Warning", "Error", "Fatal"]
var action = "hide";
for (var idx = 0; idx < logLevels.length; idx++){
var level = logLevels[idx];
if (level === thresholdLevel){
action = "show";
}
$('#'+domid+' .log' + level)[action]();
}
}