20,115
edits
MediaWiki:Common.js/search.js: Difference between revisions
MediaWiki:Common.js/search.js (view source)
Revision as of 03:34, 28 December 2025
, 28 December 2025no edit summary
No edit summary Tag: Manual revert |
No edit summary |
||
| Line 13: | Line 13: | ||
return opt; | return opt; | ||
} | } | ||
var topline = document. | var topline = document.getElementByClass('mw-body-subheader'); | ||
topline.style.color = "blue"; | topline.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.innerText = "Not finding what you're looking for? Select a different search engine from the dropdown menu below and try again."; | ||