diff options
Diffstat (limited to 'maintenance/mwdocgen.php')
| -rw-r--r-- | maintenance/mwdocgen.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/mwdocgen.php b/maintenance/mwdocgen.php index c866693ccb05..08dd964b2e60 100644 --- a/maintenance/mwdocgen.php +++ b/maintenance/mwdocgen.php @@ -35,7 +35,9 @@ use MediaWiki\Shell\Shell; +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd /** * Maintenance script that builds doxygen documentation. @@ -181,5 +183,7 @@ TEXT } } +// @codeCoverageIgnoreStart $maintClass = MWDocGen::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |