A HTML5-based map editor