diff options
Diffstat (limited to 'maintenance/emptyUserGroup.php')
| -rw-r--r-- | maintenance/emptyUserGroup.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/emptyUserGroup.php b/maintenance/emptyUserGroup.php index f5d7383437ed..8de1cf6ef7f1 100644 --- a/maintenance/emptyUserGroup.php +++ b/maintenance/emptyUserGroup.php @@ -22,6 +22,7 @@ * @ingroup Maintenance */ +use MediaWiki\Maintenance\Maintenance; use MediaWiki\User\User; // @codeCoverageIgnoreStart |