rem: function cmdClearProfile(e) 
add: function cmdClearProfile (e) 
context: function cmdClearProfile(e){    if ("scriptRecList" in e)    {        for (var i = 0; i < e.scriptRecList.length; ++i)            e.scriptRecList[i].script.clearProfileData();    }    else if ("scriptRec" in e)    {        e.scriptRec.script.clearProfileData();    }    else    {        console.jsds.clearProfileData();    }        feedback (e, MSG_PROFILE_CLEARED);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js