jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/363354 )
Change subject: Remove generated search query from top right
......................................................................
Remove generated search query from top right
Change-Id: I779d16dcc67e55993c2099fc69aa11d3abf4adca
---
M modules/ext.advancedSearch.init.js
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.advancedSearch.init.js
b/modules/ext.advancedSearch.init.js
index 89712b6..ae73754 100644
--- a/modules/ext.advancedSearch.init.js
+++ b/modules/ext.advancedSearch.init.js
@@ -514,9 +514,6 @@
$searchField.prop( 'name', 'advancedSearchOption-original' )
.after( $compiledSearchField );
-
- // Copy to the top-right search box for the sake of completeness
- $( '#searchInput' ).val( compiledQuery );
} );
// TODO Move this element into an OOUI component with the state as
constructor param
--
To view, visit https://gerrit.wikimedia.org/r/363354
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I779d16dcc67e55993c2099fc69aa11d3abf4adca
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/AdvancedSearch
Gerrit-Branch: master
Gerrit-Owner: Gabriel Birke <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
