MediaWiki ext-SocialProfile revert ac73d7 (breaks 1.39)

ext-SocialProfile-revert_ac73d7.patch

diff --git a/SocialProfileFileBackend.php b/SocialProfileFileBackend.php
index 648078d2..56121239 100644
--- a/SocialProfileFileBackend.php
+++ b/SocialProfileFileBackend.php
@@ -12,7 +12,6 @@
  */
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\WikiMap\WikiMap;
 
 class SocialProfileFileBackend {
 
diff --git a/SystemGifts/includes/SystemGiftIcon.php b/SystemGifts/includes/SystemGiftIcon.php
index 3ca54034..ad7a7a77 100644
--- a/SystemGifts/includes/SystemGiftIcon.php
+++ b/SystemGifts/includes/SystemGiftIcon.php
@@ -1,7 +1,4 @@
 <?php
-
-use MediaWiki\Html\Html;
-
 /**
  * Object for easily constructing new system gift icons.
  */
diff --git a/SystemGifts/includes/specials/SpecialPopulateAwards.php b/SystemGifts/includes/specials/SpecialPopulateAwards.php
index 42d3276d..5547136f 100644
--- a/SystemGifts/includes/specials/SpecialPopulateAwards.php
+++ b/SystemGifts/includes/specials/SpecialPopulateAwards.php
@@ -7,8 +7,6 @@
  * @ingroup Extensions
  */
 
-use MediaWiki\Html\Html;
-
 class PopulateAwards extends UnlistedSpecialPage {
 
 	public function __construct() {
diff --git a/SystemGifts/includes/specials/SpecialSystemGiftManagerLogo.php b/SystemGifts/includes/specials/SpecialSystemGiftManagerLogo.php
index 5ca81e03..31bf0a4f 100644
--- a/SystemGifts/includes/specials/SpecialSystemGiftManagerLogo.php
+++ b/SystemGifts/includes/specials/SpecialSystemGiftManagerLogo.php
@@ -1,8 +1,6 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\Logger\LoggerFactory;
-use MediaWiki\Request\WebRequestUpload;
 use MediaWiki\Shell\Shell;
 use Wikimedia\AtEase\AtEase;
 
diff --git a/SystemGifts/includes/specials/SpecialViewSystemGift.php b/SystemGifts/includes/specials/SpecialViewSystemGift.php
index d5f8c146..47e7dac1 100644
--- a/SystemGifts/includes/specials/SpecialViewSystemGift.php
+++ b/SystemGifts/includes/specials/SpecialViewSystemGift.php
@@ -7,7 +7,6 @@
  */
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 class ViewSystemGift extends UnlistedSpecialPage {
 
diff --git a/SystemGifts/includes/specials/TopAwards.php b/SystemGifts/includes/specials/TopAwards.php
index 141614b0..6d6d3758 100644
--- a/SystemGifts/includes/specials/TopAwards.php
+++ b/SystemGifts/includes/specials/TopAwards.php
@@ -8,7 +8,6 @@
  */
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 class TopAwards extends UnlistedSpecialPage {
 
diff --git a/UserActivity/includes/UserActivityIcon.php b/UserActivity/includes/UserActivityIcon.php
index 155cae14..fb8f3b54 100644
--- a/UserActivity/includes/UserActivityIcon.php
+++ b/UserActivity/includes/UserActivityIcon.php
@@ -1,7 +1,4 @@
 <?php
-
-use MediaWiki\Html\Html;
-
 /**
  * Object to easily build icons shown in a user activity feed.
  */
diff --git a/UserBoard/includes/UserBoard.php b/UserBoard/includes/UserBoard.php
index c69ec643..fcd4ed50 100644
--- a/UserBoard/includes/UserBoard.php
+++ b/UserBoard/includes/UserBoard.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\TemplateParser;
 use MediaWiki\MediaWikiServices;
 
 /**
diff --git a/UserBoard/includes/specials/SpecialSendBoardBlast.php b/UserBoard/includes/specials/SpecialSendBoardBlast.php
index 26448c5d..f20daad9 100644
--- a/UserBoard/includes/specials/SpecialSendBoardBlast.php
+++ b/UserBoard/includes/specials/SpecialSendBoardBlast.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 
 /**
diff --git a/UserBoard/includes/specials/SpecialUserBoard.php b/UserBoard/includes/specials/SpecialUserBoard.php
index 005d710a..fda33538 100644
--- a/UserBoard/includes/specials/SpecialUserBoard.php
+++ b/UserBoard/includes/specials/SpecialUserBoard.php
@@ -1,9 +1,6 @@
 <?php
 
-use MediaWiki\Html\Html;
-use MediaWiki\Html\TemplateParser;
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 /**
  * Display User Board messages for a user
diff --git a/UserGifts/includes/EchoUserGiftPresentationModel.php b/UserGifts/includes/EchoUserGiftPresentationModel.php
index 6ed1e739..4791d1c8 100644
--- a/UserGifts/includes/EchoUserGiftPresentationModel.php
+++ b/UserGifts/includes/EchoUserGiftPresentationModel.php
@@ -1,7 +1,5 @@
 <?php
 
-use MediaWiki\Title\Title;
-
 /**
  * Formatter for user gift notifications ('social-gift-send')
  */
diff --git a/UserGifts/includes/UserGiftIcon.php b/UserGifts/includes/UserGiftIcon.php
index e924dab5..7f459931 100644
--- a/UserGifts/includes/UserGiftIcon.php
+++ b/UserGifts/includes/UserGiftIcon.php
@@ -1,7 +1,4 @@
 <?php
-
-use MediaWiki\Html\Html;
-
 /**
  * Object for constructing user gift icons.
  */
diff --git a/UserGifts/includes/specials/SpecialGiftManagerLogo.php b/UserGifts/includes/specials/SpecialGiftManagerLogo.php
index c7769723..4a35c792 100644
--- a/UserGifts/includes/specials/SpecialGiftManagerLogo.php
+++ b/UserGifts/includes/specials/SpecialGiftManagerLogo.php
@@ -1,8 +1,6 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\Logger\LoggerFactory;
-use MediaWiki\Request\WebRequestUpload;
 use MediaWiki\Shell\Shell;
 use Wikimedia\AtEase\AtEase;
 
diff --git a/UserGifts/includes/specials/SpecialGiveGift.php b/UserGifts/includes/specials/SpecialGiveGift.php
index de30e9ac..79d07f37 100644
--- a/UserGifts/includes/specials/SpecialGiveGift.php
+++ b/UserGifts/includes/specials/SpecialGiveGift.php
@@ -2,7 +2,6 @@
 
 use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 /**
  * Special:GiveGift -- a special page for sending out user-to-user gifts
diff --git a/UserGifts/includes/specials/SpecialRemoveGift.php b/UserGifts/includes/specials/SpecialRemoveGift.php
index ea15d6cd..1e5dfef7 100644
--- a/UserGifts/includes/specials/SpecialRemoveGift.php
+++ b/UserGifts/includes/specials/SpecialRemoveGift.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 
 class RemoveGift extends UnlistedSpecialPage {
diff --git a/UserProfile/includes/UserProfileHooks.php b/UserProfile/includes/UserProfileHooks.php
index 7a4102fe..12bc2d97 100644
--- a/UserProfile/includes/UserProfileHooks.php
+++ b/UserProfile/includes/UserProfileHooks.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Linker\Linker;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Title\Title;
 
diff --git a/UserProfile/includes/UserProfilePage.php b/UserProfile/includes/UserProfilePage.php
index 575474e1..f6ac23c4 100644
--- a/UserProfile/includes/UserProfilePage.php
+++ b/UserProfile/includes/UserProfilePage.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\Logger\LoggerFactory;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Title\Title;
diff --git a/UserProfile/includes/avatar/Avatar.php b/UserProfile/includes/avatar/Avatar.php
index 491bf09d..d34d526e 100644
--- a/UserProfile/includes/avatar/Avatar.php
+++ b/UserProfile/includes/avatar/Avatar.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 
 /**
diff --git a/UserProfile/includes/parser/RandomUsersWithAvatars.php b/UserProfile/includes/parser/RandomUsersWithAvatars.php
index 68276c50..ce41cb8c 100644
--- a/UserProfile/includes/parser/RandomUsersWithAvatars.php
+++ b/UserProfile/includes/parser/RandomUsersWithAvatars.php
@@ -1,7 +1,6 @@
 <?php
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 /**
  * RandomUsersWithAvatars - displays a number of randomly selected users
diff --git a/UserProfile/includes/specials/SpecialEditProfile.php b/UserProfile/includes/specials/SpecialEditProfile.php
index 0485cd88..9b7daa6e 100644
--- a/UserProfile/includes/specials/SpecialEditProfile.php
+++ b/UserProfile/includes/specials/SpecialEditProfile.php
@@ -1,7 +1,6 @@
 <?php
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 use MediaWiki\User\UserIdentity;
 
 /**
diff --git a/UserProfile/includes/specials/SpecialPopulateExistingUsersProfiles.php b/UserProfile/includes/specials/SpecialPopulateExistingUsersProfiles.php
index 51a91d2a..21b8cc9d 100644
--- a/UserProfile/includes/specials/SpecialPopulateExistingUsersProfiles.php
+++ b/UserProfile/includes/specials/SpecialPopulateExistingUsersProfiles.php
@@ -11,7 +11,6 @@
  * @license GPL-2.0-or-later
  */
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 
 class SpecialPopulateUserProfiles extends SpecialPage {
diff --git a/UserProfile/includes/specials/SpecialToggleUserPageType.php b/UserProfile/includes/specials/SpecialToggleUserPageType.php
index 199f0b62..cd5276e2 100644
--- a/UserProfile/includes/specials/SpecialToggleUserPageType.php
+++ b/UserProfile/includes/specials/SpecialToggleUserPageType.php
@@ -13,7 +13,6 @@
 
 use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 class SpecialToggleUserPage extends UnlistedSpecialPage {
 
diff --git a/UserProfile/includes/specials/SpecialUpdateProfile.php b/UserProfile/includes/specials/SpecialUpdateProfile.php
index c7052f8c..b333fdfd 100644
--- a/UserProfile/includes/specials/SpecialUpdateProfile.php
+++ b/UserProfile/includes/specials/SpecialUpdateProfile.php
@@ -2,7 +2,6 @@
 
 use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 use MediaWiki\User\UserIdentity;
 
 /**
diff --git a/UserProfile/includes/specials/SpecialUploadAvatar.php b/UserProfile/includes/specials/SpecialUploadAvatar.php
index 3ace8491..a12406fb 100644
--- a/UserProfile/includes/specials/SpecialUploadAvatar.php
+++ b/UserProfile/includes/specials/SpecialUploadAvatar.php
@@ -1,7 +1,4 @@
 <?php
-
-use MediaWiki\Html\Html;
-
 /**
  * A special page for uploading avatars
  * This page is a big hack -- it's just the image upload page with some changes
diff --git a/UserStats/includes/EchoUserLevelAdvancePresentationModel.php b/UserStats/includes/EchoUserLevelAdvancePresentationModel.php
index 3b79267e..119262fc 100644
--- a/UserStats/includes/EchoUserLevelAdvancePresentationModel.php
+++ b/UserStats/includes/EchoUserLevelAdvancePresentationModel.php
@@ -1,7 +1,5 @@
 <?php
 
-use MediaWiki\Title\Title;
-
 /**
  * Formatter for user's level up notifications ('social-level-up')
  */
diff --git a/UserStats/includes/RandomFeaturedUser.php b/UserStats/includes/RandomFeaturedUser.php
index 8208b9d8..0282ebea 100644
--- a/UserStats/includes/RandomFeaturedUser.php
+++ b/UserStats/includes/RandomFeaturedUser.php
@@ -16,7 +16,6 @@
  * @license GPL-2.0-or-later
  */
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 
 class RandomFeaturedUser {
diff --git a/UserStats/includes/specials/GenerateTopUsersReport.php b/UserStats/includes/specials/GenerateTopUsersReport.php
index c5e2e110..f22599af 100644
--- a/UserStats/includes/specials/GenerateTopUsersReport.php
+++ b/UserStats/includes/specials/GenerateTopUsersReport.php
@@ -1,6 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Title\Title;
 
diff --git a/UserStats/includes/specials/SpecialUpdateEditCounts.php b/UserStats/includes/specials/SpecialUpdateEditCounts.php
index 44d464a6..9d7bd92c 100644
--- a/UserStats/includes/specials/SpecialUpdateEditCounts.php
+++ b/UserStats/includes/specials/SpecialUpdateEditCounts.php
@@ -1,7 +1,5 @@
 <?php
 
-use MediaWiki\Html\Html;
-
 /**
  * A special page for updating users' point counts.
  *
diff --git a/UserWelcome/includes/UserWelcome.php b/UserWelcome/includes/UserWelcome.php
index aaa47b7c..880b75dc 100644
--- a/UserWelcome/includes/UserWelcome.php
+++ b/UserWelcome/includes/UserWelcome.php
@@ -1,7 +1,6 @@
 <?php
 
 use MediaWiki\MediaWikiServices;
-use MediaWiki\Title\Title;
 
 /**
  * UserWelcome extension