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

Reply via email to