contributors: fix an alias in the list of contributors

[factor.git] / extra / webapps / help / search.js

window.onload = function() {
    var radios = document.getElementsByClassName("radiotab");
    if (radios.length > 0) {
        radios[0].checked = true;
    }
}