Changed platform name from ES5 to HTML5