5,687
edits
MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 44: | Line 44: | ||
var i; | var i; | ||
for (i = 0; i < y.length; i++) { | for (i = 0; i < y.length; i++) { | ||
y[i].innerHTML = '< | y[i].innerHTML = '<p style="line-height: 180%;">The search functionality can be considered to operate on <strong>whole words</strong>, separated by spaces or other punctuation marks.</p><p style="line-height: 180%;">The results will only include pages that contain <strong>all</strong> the words in your search.</p><p style="line-height: 180%;">You can search for a <strong>phrase</strong> using "double quotes".</p>'; | ||
} | } | ||
} | } | ||
}()); | }()); | ||