rem: console.jsds.flags &= ~COLLECT_PROFILE_DATA; 
add: console.profiler.enabled = false; 
context: function setProfileState(state){    var tb = document.getElementById("maintoolbar-profile-tb");    if (state)    {        console.jsds.flags |= COLLECT_PROFILE_DATA;        tb.setAttribute("profile", "true");    }    else    {        console.jsds.flags &= ~COLLECT_PROFILE_DATA;        tb.removeAttribute("profile");    }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js