Learning HTML5 through game development