mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-13 17:27:42 +00:00
f2c5c5613b
Use a message, that explains a bit more, what CodeMirror is and indicate what the button do exactly. Change-Id: If8a0a8261cd811407cff4868dcf6475335b3f752 |
||
---|---|---|
.. | ||
images | ||
lib/codemirror | ||
mode/mediawiki | ||
ext.CodeMirror.js |