Moodle 3.7 introduced the coverage.php file. One can find a sample in mod/forum/tests/coverage.php:
defined('MOODLE_INTERNAL') || die();
/**
* Coverage information for the mod_forum component.
*
* @package mod_forum
* @category phpunit
* @copyright 2019 Andrew Nicols <andrew@nicols.co.uk>
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
*/
/**
* Coverage information for the core subsystem.
*
* @copyright 2019 Andrew Nicols <andrew@nicols.co.uk>
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
*/
return new class extends phpunit_coverage_info {
But this generates a "Class extends is not documented" and "Package is not specified for class extends" error when one uses PHPdoc (moodle-plugin-ci phpdoc mod/forum). Has anyone an idea how to comment this class?