I made this change against an older version of CodeMirror, so I'm not even sure if it still does anything. Reverted in e2e0122.