Allow --profile to be used in phpunit.php
authorTim Starling <tstarling@wikimedia.org>
Wed, 31 Aug 2016 02:53:21 +0000 (12:53 +1000)
committerTim Starling <tstarling@wikimedia.org>
Wed, 7 Sep 2016 23:06:45 +0000 (09:06 +1000)
commit2c93a08212d988cca7661b299403c3c41d5904cf
tree3f612882743cab2c7b59ca6158c3f20308544038
parenta387fee3970b04a2fe955d5a443fa459deddcc19
Allow --profile to be used in phpunit.php

This requires running PHPUnit from within execute() -- we're calling a
function so it doesn't benefit from being in global scope.

Change-Id: I4b6a3613bc89047a9f32505afabaff98b3655e1a
tests/phpunit/phpunit.php