Updated mediawiki/extensions
Project: mediawiki/extensions/PhpTagsFunctions  5ac68db6ba6f68250f2f64d35fff70c7b6790002

add WebRequest class (v 3.3.0) required PhpTags 3.7.0

Change-Id: I079e1c9ee5a3f993e2734d412416449d96fbbd64