diff options
Diffstat (limited to 'includes/exception/PermissionsError.php')
| -rw-r--r-- | includes/exception/PermissionsError.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/exception/PermissionsError.php b/includes/exception/PermissionsError.php index d11e23d7fb16..50b401c1abf9 100644 --- a/includes/exception/PermissionsError.php +++ b/includes/exception/PermissionsError.php @@ -20,6 +20,7 @@ use MediaWiki\MediaWikiServices; use MediaWiki\Permissions\PermissionStatus; +use MediaWiki\User\UserGroupMembership; /** * Show an error when a user tries to do something they do not have the necessary |