diff options
Diffstat (limited to 'maintenance/fixUserRegistration.php')
| -rw-r--r-- | maintenance/fixUserRegistration.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/fixUserRegistration.php b/maintenance/fixUserRegistration.php index 9f877a05396d..ff97be6c6049 100644 --- a/maintenance/fixUserRegistration.php +++ b/maintenance/fixUserRegistration.php @@ -24,7 +24,9 @@ use MediaWiki\User\User; +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd /** * Maintenance script that fixes the user_registration field. @@ -91,5 +93,7 @@ class FixUserRegistration extends Maintenance { } } +// @codeCoverageIgnoreStart $maintClass = FixUserRegistration::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |