Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  2fd588437e7a0e17f1e8bdf7e3b31985c1578d80

add higlinting with extension CodeMirror (v 3.5.1)

Change-Id: Idfb9813cc214c42939277f63015c7d1bad5e6eca