extra hooks for the character encoding type menu, defined in the xhtml.