The text widgets of WordPress 4.8 came with a new feature – a HTML editor. That is great for people who want to format their text, but it is also bad news since the TinyMCE editor tends to clean up or reformat the original code. For example, “=>” gets converted into the HTML-safe encoding “=>”, and …