Comment by Scirra_Tom

The entire editor is built in HTML5, and the exported games export to HTML5. It was the obvious choice.