[MediaWiki-commits] [Gerrit] mediawiki...ZeroBanner[master]: build: Updating mediawiki/mediawiki-codesniffer to 0.11.0

2017-08-11 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: Legoktm 
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...ZeroBanner[master]: build: Updating mediawiki/mediawiki-codesniffer to 0.11.0

2017-08-10 Thread Legoktm (Code Review) 
Legoktm has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ZeroBanner 
refs/changes/38/371438/1

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: newchange
Gerrit-Change-Id: I92680762b3b67745121376a4c6097d3bed744dd5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ZeroBanner
Gerrit-Branch: master
Gerrit-Owner: Legoktm 
Gerrit-Reviewer: Legoktm 

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