EBernhardson has uploaded a new change for review.

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

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
---
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/83/247883/1

diff --git a/WikimediaEvents.php b/WikimediaEvents.php
index 6a73520..d7c83b4 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/247883
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: master
Gerrit-Owner: EBernhardson <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to