Libraryupgrader has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/380210 )

Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
......................................................................

build: Updating mediawiki/mediawiki-codesniffer to 13.0.0

Change-Id: I76aa5df31d8ad2379ffcc59140b28960f9d5fc76
---
M composer.json
M includes/Hooks.php
M tests/phpunit/includes/RangeTest.php
3 files changed, 1 insertion(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ORES 
refs/changes/10/380210/1

diff --git a/composer.json b/composer.json
index 0beb2ca..71739d1 100644
--- a/composer.json
+++ b/composer.json
@@ -1,7 +1,7 @@
 {
        "require-dev": {
                "jakub-onderka/php-parallel-lint": "0.9.2",
-               "mediawiki/mediawiki-codesniffer": "0.12.0",
+               "mediawiki/mediawiki-codesniffer": "13.0.0",
                "jakub-onderka/php-console-highlighter": "0.3.2"
        },
        "scripts": {
diff --git a/includes/Hooks.php b/includes/Hooks.php
index 5f425be..04b7169 100644
--- a/includes/Hooks.php
+++ b/includes/Hooks.php
@@ -5,7 +5,6 @@
 use BetaFeatures;
 use ChangesList;
 use ChangesListBooleanFilterGroup;
-use ChangesListFilterGroup;
 use ChangesListSpecialPage;
 use ChangesListStringOptionsFilterGroup;
 use ContribsPager;
@@ -25,7 +24,6 @@
 use SpecialContributions;
 use SpecialRecentChanges;
 use SpecialWatchlist;
-use Title;
 use User;
 use Xml;
 
diff --git a/tests/phpunit/includes/RangeTest.php 
b/tests/phpunit/includes/RangeTest.php
index 4cb3c0a..a89cd78 100644
--- a/tests/phpunit/includes/RangeTest.php
+++ b/tests/phpunit/includes/RangeTest.php
@@ -2,7 +2,6 @@
 
 namespace ORES\Tests;
 
-use ORES;
 use ORES\Range;
 use PHPUnit_Framework_TestCase;
 

-- 
To view, visit https://gerrit.wikimedia.org/r/380210
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I76aa5df31d8ad2379ffcc59140b28960f9d5fc76
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ORES
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to