Umherirrender has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/97310


Change subject: Move functions to better place in Special:Search
......................................................................

Move functions to better place in Special:Search

The function direct behind the variable definition is not the prefer
place.

Change-Id: I9183e1f1af22644a4f811657fbf2245a11b48854
---
M includes/specials/SpecialSearch.php
1 file changed, 16 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/10/97310/1

diff --git a/includes/specials/SpecialSearch.php 
b/includes/specials/SpecialSearch.php
index dd32656..aa0dc08 100644
--- a/includes/specials/SpecialSearch.php
+++ b/includes/specials/SpecialSearch.php
@@ -37,7 +37,6 @@
         * null|string
         */
        protected $profile;
-       function getProfile() { return $this->profile; }
 
        /// Search engine
        protected $searchEngine;
@@ -60,7 +59,6 @@
         * @var array
         */
        protected $namespaces;
-       function getNamespaces() { return $this->namespaces; }
 
        /**
         * @var bool
@@ -1188,6 +1186,22 @@
        }
 
        /**
+        * Current search profile.
+        * @return null|string
+        */
+       function getProfile() {
+               return $this->profile;
+       }
+
+       /**
+        * Current namespaces.
+        * @return array
+        */
+       function getNamespaces() {
+               return $this->namespaces;
+       }
+
+       /**
         * Users of hook SpecialSearchSetupEngine can use this to
         * add more params to links to not lose selection when
         * user navigates search results.

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I9183e1f1af22644a4f811657fbf2245a11b48854
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>

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

Reply via email to