20,115
edits
MediaWiki:Common.js/search.js: Difference between revisions
MediaWiki:Common.js/search.js (view source)
Revision as of 17:27, 27 December 2025
, 27 December 2025oops
(updates from Wikipedia's version) |
(oops) |
||
| Line 29: | Line 29: | ||
selectBox.id = 'searchEngine'; | selectBox.id = 'searchEngine'; | ||
searchForm.onsubmit = function() { | searchForm.onsubmit = function() { | ||
var window. | var optSelected = window.searchEngines[document.getElementById('searchEngine').selectedIndex]; | ||
searchForm.action = optSelected[0]; | searchForm.action = optSelected[0]; | ||
searchBox.name = optSelected[1]; | searchBox.name = optSelected[1]; | ||