remove unneeded html5.js