The combined CodeMirror.js and CodeMirror.css files contain the WebKit license header not the CodeMirror license.
<rdar://problem/16618318>
Created attachment 229363 [details] Patch
Comment on attachment 229363 [details] Patch Clearing flags on attachment: 229363 Committed r167307: <http://trac.webkit.org/changeset/167307>
All reviewed patches have been landed. Closing bug.
Doh! Good catch