20,115
edits
MediaWiki:Common.js/search.js: Difference between revisions
MediaWiki:Common.js/search.js (view source)
Revision as of 03:35, 28 December 2025
, 28 December 2025no edit summary
No edit summary |
No edit summary |
||
| Line 13: | Line 13: | ||
return opt; | return opt; | ||
} | } | ||
var topline = document. | var topline = document.getElementByClassName('mw-body-subheader'); | ||
topline.style.color = "blue"; | topline[0].style.color = "blue"; | ||
topline.innerText = "Not finding what you're looking for? Select a different search engine from the dropdown menu below and try again."; | topline[0].innerText = "Not finding what you're looking for? Select a different search engine from the dropdown menu below and try again."; | ||
if (document.forms.powersearch) | if (document.forms.powersearch) | ||
var searchForm = document.forms.powersearch; | var searchForm = document.forms.powersearch; | ||