Pwirth has submitted this change and it was merged.
Change subject: ExtendedSearch: add missing bsgExtendedSearchBoostQuerySettings
......................................................................
ExtendedSearch: add missing bsgExtendedSearchBoostQuerySettings
$bsgExtendedSearchBoostQuerySettings got lost during switch to
extension.json. Now re-added.
Change-Id: Ib35ebb9202b3e78f5e1f2e4b8f44e5454f32d1aa
---
M ExtendedSearch/ExtendedSearch.class.php
1 file changed, 10 insertions(+), 1 deletion(-)
Approvals:
Pwirth: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ExtendedSearch/ExtendedSearch.class.php
b/ExtendedSearch/ExtendedSearch.class.php
index 0c13b21..cc34953 100644
--- a/ExtendedSearch/ExtendedSearch.class.php
+++ b/ExtendedSearch/ExtendedSearch.class.php
@@ -125,11 +125,20 @@
* @global array $wgAjaxExportList
*/
public static function onRegistration() {
- global $wgAjaxExportList;
+ global $wgAjaxExportList, $bsgExtendedSearchBoostQuerySettings;
$wgAjaxExportList[] = 'ExtendedSearch::getRequestJson';
$wgAjaxExportList[] = 'ExtendedSearchBase::getAutocompleteData';
$wgAjaxExportList[] =
'ExtendedSearchBase::getRecentSearchTerms';
$wgAjaxExportList[] = 'ExtendedSearchAdmin::getProgressBar';
+
+ $bsgExtendedSearchBoostQuerySettings = array(
+ 'namespace' => array(
+ //This is for every MediaWiki content namespace;
+ //Concrete values will be calculated at runtime
+ '*' => 2,
+ 999 => 2 // Pseudo namespace for files
+ )
+ );
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/314655
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib35ebb9202b3e78f5e1f2e4b8f44e5454f32d1aa
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Mglaser <[email protected]>
Gerrit-Reviewer: Dvogel hallowelt <[email protected]>
Gerrit-Reviewer: Ljonka <[email protected]>
Gerrit-Reviewer: Pwirth <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
