- if ( !$permissionManager ) {
- // TODO: this is actually hard-deprecated, left for jenkins to pass
- // together with GlobalPreferences extension. Will be removed in a followup.
- $permissionManager = MediaWikiServices::getInstance()->getPermissionManager();
- }