Updated mediawiki/extensions
Project: mediawiki/extensions/CodeMirror  5cd447d60e2eadf8e98d9547d0e0c989ddd28dfa

add highlighting section headers (v 2.1.1)

Change-Id: I082a81ff3fd44d97b8064e0a567db33ac709a196