Difference between revisions of "User:Gioto/sandbox"
(span test) |
|||
(13 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