Bug 314548: "Error : document.refresh is not a function" appears in the JS console when (un)checking the "Private" checkbox in show_bug.cgi - Patch by André Batosti <batosti@async.com.br> r=joel a=justdave