Difference between revisions of "User:Gioto/sandbox"
(12 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | |||
+ | <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 |
Revision as of 02:56, 23 March 2022
<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