diff options
Diffstat (limited to 'maintenance/manageForeignResources.php')
| -rw-r--r-- | maintenance/manageForeignResources.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/manageForeignResources.php b/maintenance/manageForeignResources.php index de643784eb14..1eea31b10f27 100644 --- a/maintenance/manageForeignResources.php +++ b/maintenance/manageForeignResources.php @@ -21,7 +21,9 @@ use MediaWiki\Registration\ExtensionRegistry; use MediaWiki\ResourceLoader\ForeignResourceManager; +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd /** * Manage foreign resources registered with ResourceLoader. @@ -111,5 +113,7 @@ TEXT } } +// @codeCoverageIgnoreStart $maintClass = ManageForeignResources::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |