Add compatibility with MediaWiki 1.43

Use UserFactory::newFromName and UserGroupManager::addUserToGroup instead of corresponding deprecated and removed methods of User to load existing users and add the Shibboleth group to new users.

includes/ShibbolethSessionProvider.php

@@ -4,11 +4,14 @@
 
 use WebRequest;
 use User;
+use MediaWiki\User\UserFactory;
+use MediaWiki\User\UserGroupManager;
 use MediaWiki\Session\SessionProvider;
 use MediaWiki\Session\ImmutableSessionProviderWithCookie;
 use MediaWiki\Session\SessionBackend;
 use MediaWiki\Session\SessionInfo;
 use MediaWiki\Session\UserInfo;
+use MediaWiki\MediaWikiServices;
 
 class ShibbolethSessionProvider extends SessionProvider {
 	public function provideSessionInfo(WebRequest $request) {
@@ -58,17 +61,21 @@ public function provideSessionInfo(WebRequest $request) {
 					return null;
 				}
 			}
-
+
+			$services = MediaWikiServices::getInstance();
+			$userFactory = $services->getUserFactory();
+
 			$kulid = ucwords($kulid);
-			$user = User::newFromName($kulid);
+			$user = $userFactory->newFromName($kulid);
 
 			if (!$user->getId()) {
 				$user = User::createNew($kulid, [
 //					'email' => $shib->single_email(),
 					'real_name' => $shib->fullname(),
 					'email_authenticated' => wfTimestamp(TS_MW) + 100
 					]);
-				$user->addGroup("Shibboleth");
+				$userGroupManager = $services->getUserGroupManager();
+				$userGroupManager->addUserToGroup($user, "Shibboleth");
 			}
 
 			return new SessionInfo(SessionInfo::MAX_PRIORITY, [