Updated files of HTML5 port.