context: this.createMenuHeader = function(popup, item){    var header = popup.ownerDocument.createElement("label");    header.setAttribute("class", "menuHeader");        var label = item.nol10n ? item.label : this.$STR(item.label);        header.setAttribute("value", label);    popup.appendChild(header);    return header;};
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js