Updated mediawiki/extensions
Project: mediawiki/extensions/CodeMirror  ae869ea22c4b2a8c1856900c2a8c5c69d249901e

update the description

Change-Id: I20a64f3b5d1c1efc2ad5560a2c80f7fcf2c22b16