Difference between revisions of "User:Gioto/sandbox"
(Replaced content with "Add pages for User:Matt#Contributions: if needed") (Tag: Replaced) |
|||
(4 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