diff options
Diffstat (limited to 'maintenance/cleanupPreferences.php')
| -rw-r--r-- | maintenance/cleanupPreferences.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/cleanupPreferences.php b/maintenance/cleanupPreferences.php index 83afc3bad4c7..04c84e51539d 100644 --- a/maintenance/cleanupPreferences.php +++ b/maintenance/cleanupPreferences.php @@ -24,7 +24,9 @@ * @ingroup Maintenance */ +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd use MediaWiki\MainConfigNames; use MediaWiki\User\Options\UserOptionsLookup; @@ -149,5 +151,7 @@ class CleanupPreferences extends Maintenance { } } +// @codeCoverageIgnoreStart $maintClass = CleanupPreferences::class; // Tells it to run the class require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |