Updated mediawiki/extensions
Project: mediawiki/extensions/CodeMirror  60e283ca8100d3d4fd9557814da0e9c2342ad2df

fix highlighting links, tags and templates in section headers (v 2.1.2)

Change-Id: Ib4b788f7f8dc21732e231c9e59cf31a9165d04fa