3 * Used to serve back the server-side code coverage results to phpunit-selenium
5 * @copyright (C) 2007-2019 G. Giunta
6 * @license code licensed under the BSD License: see file license.txt
9 $coverageFile = realpath(__DIR__ . "/../vendor/phpunit/phpunit-selenium/PHPUnit/Extensions/SeleniumCommon/phpunit_coverage.php");
11 // has to be the same value as used in server.php
12 $GLOBALS['PHPUNIT_COVERAGE_DATA_DIRECTORY'] = '/tmp/phpxmlrpc_coverage';
14 chdir($GLOBALS['PHPUNIT_COVERAGE_DATA_DIRECTORY']);
16 include_once $coverageFile;