jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405561 )
Change subject: Update IPSet use statements ...................................................................... Update IPSet use statements Bug: T182273 Change-Id: I73fb52678dc56a542eccd209441557610b562d4b --- M includes/ProxyLookup.php M includes/libs/IP.php M includes/user/User.php 3 files changed, 3 insertions(+), 3 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/ProxyLookup.php b/includes/ProxyLookup.php index 3a3243a..246ae95 100644 --- a/includes/ProxyLookup.php +++ b/includes/ProxyLookup.php @@ -19,7 +19,7 @@ * @file */ -use IPSet\IPSet; +use Wikimedia\IPSet; /** * @since 1.28 diff --git a/includes/libs/IP.php b/includes/libs/IP.php index 1c48f49..f95bb1e 100644 --- a/includes/libs/IP.php +++ b/includes/libs/IP.php @@ -21,7 +21,7 @@ * @author Antoine Musso "<hashar at free dot fr>" */ -use IPSet\IPSet; +use Wikimedia\IPSet; // Some regex definition to "play" with IP address and IP address ranges diff --git a/includes/user/User.php b/includes/user/User.php index 0b3f8fd..5bab876 100644 --- a/includes/user/User.php +++ b/includes/user/User.php @@ -20,7 +20,6 @@ * @file */ -use IPSet\IPSet; use MediaWiki\MediaWikiServices; use MediaWiki\Session\SessionManager; use MediaWiki\Session\Token; @@ -28,6 +27,7 @@ use MediaWiki\Auth\AuthenticationResponse; use MediaWiki\Auth\AuthenticationRequest; use MediaWiki\User\UserIdentity; +use Wikimedia\IPSet; use Wikimedia\ScopedCallback; use Wikimedia\Rdbms\Database; use Wikimedia\Rdbms\DBExpectedError; -- To view, visit https://gerrit.wikimedia.org/r/405561 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I73fb52678dc56a542eccd209441557610b562d4b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
