20,115
edits
MediaWiki:Common.js/search.js: Difference between revisions
MediaWiki:Common.js/search.js (view source)
Revision as of 03:33, 28 December 2025
, 28 December 2025no edit summary
(trying to find the right element in the current skin/environment) Tag: Reverted |
No edit summary Tag: Manual revert |
||
| Line 13: | Line 13: | ||
return opt; | return opt; | ||
} | } | ||
var topline = document.getElementById(' | var topline = document.getElementById('contentSub'); | ||
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."; | ||