Updated mediawiki/extensions
Project: mediawiki/extensions/CodeMirror  16c83240fd1b1d3366299d1ece53e0eceb0b1e0b

add highlighting external links (v 2.1.3)

Change-Id: Ibe065e710c9acb6e65f3aa130b2483588458461b