Update build and ui/menu so its builds with new highligher#1276

dpvc merged 1 commit into

developmathjax/MathJax-src:developfrom

fix/buildmathjax/MathJax-src:fix/buildCopy head branch name to clipboard