You can no longer use HTML code inside panel operation or menu buttons in version 9.0.
For instance, if you wanted a button with bold text you could write it directly in the button name, like: "<b>I am a bold button</b>".
You can set a button class and write CSS instead:
.boldButton{font-weight:bold;}
This was probably a better idea to begin with 🙂