Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsFunctions  4c0c796db5c28b34ee18aa27ac50c07ae32e494a

disable parser cache if WebRequest was used (v 3.3.1) required PhpTags 3.8.0

Change-Id: I552ea1ba9581f1f373a69c7ae53a7457e1faa647