jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/371438 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 0.11.0
......................................................................
build: Updating mediawiki/mediawiki-codesniffer to 0.11.0
Change-Id: I92680762b3b67745121376a4c6097d3bed744dd5
---
M composer.json
M includes/PageRendering.php
M includes/ZeroSpecialPage.php
3 files changed, 4 insertions(+), 4 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/composer.json b/composer.json
index 4c64298..20afe32 100644
--- a/composer.json
+++ b/composer.json
@@ -5,7 +5,7 @@
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9.2",
"jakub-onderka/php-console-highlighter": "0.3.2",
- "mediawiki/mediawiki-codesniffer": "0.10.1"
+ "mediawiki/mediawiki-codesniffer": "0.11.0"
},
"scripts": {
"fix": "phpcbf",
diff --git a/includes/PageRendering.php b/includes/PageRendering.php
index a02913f..454929a 100644
--- a/includes/PageRendering.php
+++ b/includes/PageRendering.php
@@ -756,7 +756,7 @@
$info[1] = 'm';
}
$page = ( $flags & self::GET_LANDING )
- ? self::getSpecial( false )->getPrefixedDBkey():
'Main_Page';
+ ? self::getSpecial( false )->getPrefixedDBkey() :
'Main_Page';
return sprintf( '//%s/wiki/%s', implode( '.', $info ), $page );
}
diff --git a/includes/ZeroSpecialPage.php b/includes/ZeroSpecialPage.php
index 2a75bf0..8d194a9 100644
--- a/includes/ZeroSpecialPage.php
+++ b/includes/ZeroSpecialPage.php
@@ -189,9 +189,9 @@
$lang = $skin->getLanguage()->getCode();
$output = Html::htmlHeader( [ 'lang' => $lang, 'dir' => $dir ]
);
$output .= Html::openElement( 'head' );
- $output .= Html::element( 'meta', [ 'charset' =>'UTF-8' ] );
+ $output .= Html::element( 'meta', [ 'charset' => 'UTF-8' ] );
$output .= Html::element( 'meta', [ 'name' => 'viewport',
- 'content' =>'width=device-width' ] );
+ 'content' => 'width=device-width' ] );
$output .= Html::element( 'title', null, $wgSitename );
// @codingStandardsIgnoreStart
$style = <<<'EOM'
--
To view, visit https://gerrit.wikimedia.org/r/371438
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I92680762b3b67745121376a4c6097d3bed744dd5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ZeroBanner
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
