marijnh/CodeMirror — pull request #1328 by jbalde (2013-03-07 09:08:16+00:00)
Title: HTML5 hint

New addon with a standar html5 code completation hint.