diff options
Diffstat (limited to 'maintenance/renameUser.php')
| -rw-r--r-- | maintenance/renameUser.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/renameUser.php b/maintenance/renameUser.php index cc6f1b449977..f5dbddf61466 100644 --- a/maintenance/renameUser.php +++ b/maintenance/renameUser.php @@ -19,7 +19,9 @@ * @author Martin Urbanec <martin.urbanec@wikimedia.cz> */ +// @codeCoverageIgnoreStart require_once __DIR__ . '/Maintenance.php'; +// @codeCoverageIgnoreEnd use MediaWiki\Page\MovePageFactory; use MediaWiki\RenameUser\RenameuserSQL; @@ -169,5 +171,7 @@ class RenameUser extends Maintenance { } } +// @codeCoverageIgnoreStart $maintClass = RenameUser::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |