[MediaWiki-commits] [Gerrit] mediawiki...WikimediaEvents[wmf/1.30.0-wmf.15]: Disable human search relevance MVP

2017-08-28 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/374431 )

Change subject: Disable human search relevance MVP
..


Disable human search relevance MVP

Bug: T171742
Change-Id: I9e789910a0a4e63456b650aff4b18ac9cb243823
(cherry picked from commit 4a5d9759d1ca6c45a0bf539195ea3de98bbbf9c2)
---
M extension.json
1 file changed, 1 insertion(+), 2 deletions(-)

Approvals:
  EBernhardson: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/extension.json b/extension.json
index 22f3a14..63a8487 100644
--- a/extension.json
+++ b/extension.json
@@ -167,8 +167,7 @@
],
"skinScripts": {
"default": [
-   
"ext.wikimediaEvents.searchSatisfaction.js",
-   
"ext.wikimediaEvents.humanSearchRelevance.js"
+   
"ext.wikimediaEvents.searchSatisfaction.js"
],
"minerva": []
},

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9e789910a0a4e63456b650aff4b18ac9cb243823
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.30.0-wmf.15
Gerrit-Owner: EBernhardson 
Gerrit-Reviewer: EBernhardson 
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...WikimediaEvents[wmf/1.30.0-wmf.15]: Disable human search relevance MVP

2017-08-28 Thread EBernhardson (Code Review) 
EBernhardson has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/374431 )

Change subject: Disable human search relevance MVP
..

Disable human search relevance MVP

Bug: T171742
Change-Id: I9e789910a0a4e63456b650aff4b18ac9cb243823
(cherry picked from commit 4a5d9759d1ca6c45a0bf539195ea3de98bbbf9c2)
---
M extension.json
1 file changed, 1 insertion(+), 2 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikimediaEvents 
refs/changes/31/374431/1

diff --git a/extension.json b/extension.json
index 22f3a14..63a8487 100644
--- a/extension.json
+++ b/extension.json
@@ -167,8 +167,7 @@
],
"skinScripts": {
"default": [
-   
"ext.wikimediaEvents.searchSatisfaction.js",
-   
"ext.wikimediaEvents.humanSearchRelevance.js"
+   
"ext.wikimediaEvents.searchSatisfaction.js"
],
"minerva": []
},

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I9e789910a0a4e63456b650aff4b18ac9cb243823
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.30.0-wmf.15
Gerrit-Owner: EBernhardson 

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