jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/371281 )

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


build: Updating mediawiki/mediawiki-codesniffer to 0.11.0

Change-Id: Ic2a3328a77cb487f22a64d70aa23e295a61766e6
---
M EditUserPreferencesForm.php
M composer.json
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/EditUserPreferencesForm.php b/EditUserPreferencesForm.php
index e50b17b..c882381 100644
--- a/EditUserPreferencesForm.php
+++ b/EditUserPreferencesForm.php
@@ -14,7 +14,7 @@
                        [ 'reset' => 1, 'username' => 
$this->getModifiedUser()->getName() ]
                );
 
-               $html .= "\n" . Xml::element( 'a', [ 'href'=> $url ],
+               $html .= "\n" . Xml::element( 'a', [ 'href' => $url ],
                        $this->msg( 'restoreprefs' )->escaped(),
                                Html::buttonAttributes( $attrs, [ 'mw-ui-quiet' 
] ) );
 
diff --git a/composer.json b/composer.json
index 55507be..d1e3215 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.10.1",
+               "mediawiki/mediawiki-codesniffer": "0.11.0",
                "jakub-onderka/php-console-highlighter": "0.3.2"
        },
        "scripts": {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic2a3328a77cb487f22a64d70aa23e295a61766e6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EditUser
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to