context: function mmgr_newmenu (parentNode, beforeNode, menuName, domId, attribs){    if (typeof domId == "undefined")        domId = menuName;        if (!ASSERT(menuName in this.menuSpecs, "unknown menu name " + menuName))        return null;    var menuSpec = this.menuSpecs[menuName];        var subMenu = this.appendSubMenu (parentNode, beforeNode, menuName, domId,                                      menuSpec.label, attribs);    this.createMenuItems (subMenu, null, menuSpec.items);    return subMenu;}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/00b6cdf954399a8f3562bddaefd3164388596abb/menu-manager.js/clean/js/lib/menu-manager.js