diff options
Diffstat (limited to 'includes/specials/pagers/UsersPager.php')
| -rw-r--r-- | includes/specials/pagers/UsersPager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/specials/pagers/UsersPager.php b/includes/specials/pagers/UsersPager.php index cd0e5507d8ec..70acf92d5a66 100644 --- a/includes/specials/pagers/UsersPager.php +++ b/includes/specials/pagers/UsersPager.php @@ -40,11 +40,11 @@ use MediaWiki\Linker\Linker; use MediaWiki\MainConfigNames; use MediaWiki\Title\Title; use MediaWiki\User\UserGroupManager; +use MediaWiki\User\UserGroupMembership; use MediaWiki\User\UserIdentity; use MediaWiki\User\UserIdentityLookup; use MediaWiki\User\UserIdentityValue; use stdClass; -use UserGroupMembership; use Wikimedia\Rdbms\IConnectionProvider; /** |