Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  8913937d2eecef2bb756d262c167435951f345cb

Improvements to PHPUnit runner code

* The phpunit.php runner now properly forwards arguments to PHPUnit
* Added a PHPUnit xml config file with default settings and inclusion path

Change-Id: Ida13de815cf8f2ea9b4d8bf132d9c224fd8c7dc3