User:Gioto/sandbox
<inputbox> type=fulltext prefix=Portal:Developers width=40 searchbuttonlabel=Search Portal:Developers </inputbox>
This extension comes with MediaWiki 1.21 and above https://www.mediawiki.org/wiki/Extension:InputBox
<inputbox> type=fulltext prefix=Portal:Developers width=40 searchbuttonlabel=Search Portal:Developers </inputbox>
This extension comes with MediaWiki 1.21 and above https://www.mediawiki.org/wiki/Extension:InputBox