MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 13:
searchInput.setAttribute('type', 'text');
searchInput.setAttribute('id', 'mediawiki-text-parser-input');
searchInput.setAttribute('placeholder', '
document.getElementById('mw-content-text').insertBefore(searchInput, document.getElementById('mw-content-text').firstChild);
| |||