phpunit.php: omit --quiet in help
authorGergő Tisza <gtisza@wikimedia.org>
Sun, 17 Sep 2017 05:03:50 +0000 (05:03 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Sun, 17 Sep 2017 06:15:38 +0000 (06:15 +0000)
commit1cd91412e73153931814da1a1609a3d7bc12832b
tree75e44ba72f38d171cccb1b92f031b21ff3769546
parent802c199d0bd80ff0f4d730c61fd58cbf08a52d8d
phpunit.php: omit --quiet in help

Bug: T176060
Change-Id: Iee7a0df6ba9fadf92d8e2d9f170cdfc66244d3d5
tests/phpunit/phpunit.php