Gipetto/wp-interactive — pull request #1 by kidfiction (2013-01-03 19:01:55+00:00)
Title: Get this working with the latest CodeMirror repo

The old CodeMirror2 submodule no longer exists on github