jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/378230 )
Change subject: Fix coding style issue
......................................................................
Fix coding style issue
This is just a minor change removing indentations on empty lines
introduced in 2a5f20c.
Bug: T168405
Change-Id: Ic1fca2aa8216e4404229742764ccaebbe2d1e733
---
M includes/TooltipGenerator.php
1 file changed, 4 insertions(+), 3 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/TooltipGenerator.php b/includes/TooltipGenerator.php
index cacbc72..871d098 100644
--- a/includes/TooltipGenerator.php
+++ b/includes/TooltipGenerator.php
@@ -15,7 +15,7 @@
class TooltipGenerator {
public static function generateToolTips( ) {
-
+
$messageKeys = [
'advancedsearch-help-plain',
'advancedsearch-help-phrase',
@@ -28,7 +28,7 @@
'advancedsearch-help-filew',
'advancedsearch-help-fileh'
];
-
+
return array_combine(
$messageKeys,
array_map( function( $messageKey ) {
@@ -37,4 +37,5 @@
);
}
-}
\ No newline at end of file
+}
+
--
To view, visit https://gerrit.wikimedia.org/r/378230
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic1fca2aa8216e4404229742764ccaebbe2d1e733
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AdvancedSearch
Gerrit-Branch: master
Gerrit-Owner: Kai Nissen (WMDE) <kai.nis...@wikimedia.de>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Andrew-WMDE <andrew.kos...@wikimedia.de>
Gerrit-Reviewer: Gabriel Birke <gabriel.bi...@wikimedia.de>
Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
