menuitem$mold$=function(a){var c=this.uuid,b=this.getTarget(),d=this._checkmark;a.push("<li",this.domAttrs_(),' role="none">');a.push('<a role="'+(d?"menuitemcheckbox":"menuitem")+'" href="',this.getHref()?this.getHref():"javascript:;",'"');b&&a.push(' target="',b,'"');a.push(' id="',c,'-a" class="',this.$s("content"),'"',this._disabled?' disabled="disabled"':"",">",this.domContent_(),"</a></li>")};
