basic flymake functions for HTML5.