rem: function createRadioMenuItem( aParent, aIndex, aLabel, aChecked) 
add: function createRadioMenuItem( aParent, aIndex, aLabel, aStatusText, aChecked, aInsertBefore) 
context: function createRadioMenuItem( aParent, aIndex, aLabel, aChecked)  {    var menuitem = document.createElement( "menuitem" );    menuitem.setAttribute( "type", "radio" );    menuitem.setAttribute( "label", aLabel );    menuitem.setAttribute( "index", aIndex );    if (aChecked==true)      menuitem.setAttribute( "checked", "true" );    aParent.appendChild( menuitem );  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/dc094dc4297178d52e8fca145b4986472c4144fe/browser.js/buggy/browser/base/content/browser.js