jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405566 )
Change subject: Update IPSet use statement ...................................................................... Update IPSet use statement Bug: T182273 Change-Id: I4f04462d13a37efd10e1e530a9b79e45cfb90309 --- M includes/ApiRecordLint.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/ApiRecordLint.php b/includes/ApiRecordLint.php index 26f2853..9a303e1 100644 --- a/includes/ApiRecordLint.php +++ b/includes/ApiRecordLint.php @@ -22,10 +22,10 @@ use ApiBase; use FormatJson; -use IPSet\IPSet; use JobQueueGroup; use MediaWiki\Logger\LoggerFactory; use Title; +use Wikimedia\IPSet; /** * API module for an external service to record -- To view, visit https://gerrit.wikimedia.org/r/405566 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4f04462d13a37efd10e1e530a9b79e45cfb90309 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Linter 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
