EBernhardson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/248873
Change subject: Rename search.js -> searchSatisfaction.js
......................................................................
Rename search.js -> searchSatisfaction.js
There is an actual Schema:Search, which is being added to this
repository in a dependent patch. Rename the existing search.js
to more accurately describe the schema it is reporting to.
Change-Id: I8eb1b4281b221b016c0c3270301291c56647f6bc
(cherry picked from commit df13d6d873a1ac4b6e79ee6122afb50ce26e7e63)
---
M WikimediaEvents.php
R modules/ext.wikimediaEvents.searchSatisfaction.js
2 files changed, 2 insertions(+), 2 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikimediaEvents
refs/changes/73/248873/1
diff --git a/WikimediaEvents.php b/WikimediaEvents.php
index afeca35..770e2ad 100644
--- a/WikimediaEvents.php
+++ b/WikimediaEvents.php
@@ -102,11 +102,11 @@
'ext.wikimediaEvents.resourceloader.js',
'ext.wikimediaEvents.searchSuggest.js',
'ext.wikimediaEvents.statsd.js',
- 'ext.wikimediaEvents.search.js',
+ 'ext.wikimediaEvents.searchSatisfaction.js',
),
'dependencies' => array(
'mediawiki.user', // needed by searchSuggest.js
- 'mediawiki.Uri', // needed by search.js
+ 'mediawiki.Uri', // needed by searchSatisfaction.js
),
'localBasePath' => __DIR__ . '/modules',
'remoteExtPath' => 'WikimediaEvents/modules',
diff --git a/modules/ext.wikimediaEvents.search.js
b/modules/ext.wikimediaEvents.searchSatisfaction.js
similarity index 100%
rename from modules/ext.wikimediaEvents.search.js
rename to modules/ext.wikimediaEvents.searchSatisfaction.js
--
To view, visit https://gerrit.wikimedia.org/r/248873
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8eb1b4281b221b016c0c3270301291c56647f6bc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: wmf/1.27.0-wmf.3
Gerrit-Owner: EBernhardson <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
