I just want to say I tried Special:ExtensionDistributor/CodeMirror, linked from the infobox, but it says «No such extension "CodeMirror". Unable to fetch extension list!».
Topic on Extension talk:CodeMirror
Well, now it works. I don't know why.
I just want to say I tried Special:ExtensionDistributor/CodeMirror, linked from the infobox, but it says «No such extension "CodeMirror". Unable to fetch extension list!».