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!».
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!».