Reedy has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/61/405561/1

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: newchange
Gerrit-Change-Id: I73fb52678dc56a542eccd209441557610b562d4b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to