User:Gioto/sandbox
Add pages for User:Matt#Contributions: if needed
see this page Rule expansions for the filters probably needs to be renamed as a page to something like "addons:filter rules" as a catch all page?
<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