Merge "Remove < PHP 5.4 register_shutdown_function() from phpunit.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Feb 2016 00:18:57 +0000 (00:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Feb 2016 00:18:57 +0000 (00:18 +0000)
commit0141b71835410441911613b6eb11cbbe550f3715
tree8238e73c44732a5f0878ba0b375d469200a57f43
parent1e37987beb49132cd7e01c08cab6c21a6d1b3c16
parent9d19133bad4e468513800e8395a10f42d98e7be2
Merge "Remove < PHP 5.4 register_shutdown_function() from phpunit.php"