Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsFunctions  d4b1f4138520951bb46ea4b1a8d42522019aa6bd