Searched refs:firebugOptionsMenu (Results 1 – 1 of 1) sorted by relevance
2415 var firebugOptionsMenu={id:"fbFirebugOptionsMenu",getItems:function(){var cookiesDisabled=!Firebug.… variable2437 Menu.register(firebugOptionsMenu);