Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTags  c863298ebbe8a1d87abd2d2f8d9bc6b3c98dd2ae