[MediaWiki-commits] [Gerrit] mediawiki...Popups[master]: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/380227 ) Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 .. build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 Change-Id: Ibea048de7fc5f703d7ebf54d7844e35af8eac8d8 --- M composer.json M includes/PopupsHooks.php 2 files changed, 1 insertion(+), 2 deletions(-) Approvals: Umherirrender: Looks good to me, approved jenkins-bot: Verified diff --git a/composer.json b/composer.json index 7898723..d980e06 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/PopupsHooks.php b/includes/PopupsHooks.php index 41b038d..5f72955 100644 --- a/includes/PopupsHooks.php +++ b/includes/PopupsHooks.php @@ -24,7 +24,6 @@ use User; use OutputPage; use Skin; -use ResourceLoader; /** * Hooks definitions for Popups extension -- To view, visit https://gerrit.wikimedia.org/r/380227 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibea048de7fc5f703d7ebf54d7844e35af8eac8d8 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Popups Gerrit-Branch: master Gerrit-Owner: Libraryupgrader Gerrit-Reviewer: Pmiazga Gerrit-Reviewer: Umherirrender Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Popups[master]: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Libraryupgrader has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/380227 ) Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 .. build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 Change-Id: Ibea048de7fc5f703d7ebf54d7844e35af8eac8d8 --- M composer.json M includes/PopupsHooks.php M phpcs.xml 3 files changed, 3 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Popups refs/changes/27/380227/1 diff --git a/composer.json b/composer.json index 7898723..d980e06 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/PopupsHooks.php b/includes/PopupsHooks.php index 41b038d..5f72955 100644 --- a/includes/PopupsHooks.php +++ b/includes/PopupsHooks.php @@ -24,7 +24,6 @@ use User; use OutputPage; use Skin; -use ResourceLoader; /** * Hooks definitions for Popups extension diff --git a/phpcs.xml b/phpcs.xml index 24308c4..3fa604a 100644 --- a/phpcs.xml +++ b/phpcs.xml @@ -1,6 +1,7 @@ - + + . -- To view, visit https://gerrit.wikimedia.org/r/380227 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ibea048de7fc5f703d7ebf54d7844e35af8eac8d8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Popups Gerrit-Branch: master Gerrit-Owner: Libraryupgrader ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits