Difference between revisions of "User:Gioto/sandbox"
(12 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | + | 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 |
Revision as of 07:22, 22 July 2020
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