Wikifunctions:Maintainers
Maintainers are users who hold the functionmaintainer
user group. There are currently 5 maintainers on Wikifunctions.
Overview
Maintainers are users who have the ability to make major changes to the Wikifunctions system, potentially breaking it. They can create and edit pre-defined objects provided by the WikiLambda system, including new Natural Languages and Programming Languages. They have the additional ability to edit the definition of functions which are "running".
How to request
This role is not available yet.
Requirements
Due to Wikifunctions being a new project, the community have not yet decided on what requirements or guidelines to follow around appointing members.
Granting
Wikifunctions staff are currently tasked with deciding whether to grant maintainer rights.
Technical ability
The functionmaintainer
can complete the following additional actions:
- Create new 'pre-defined' Objects (under Z10000)
(wikilambda-create-predefined)
- Edit existing 'pre-defined' Objects (under Z10000)
(wikilambda-edit-predefined)
- Create new Natural Language Objects
(wikilambda-create-language)
- Edit existing Natural Language Objects
(wikilambda-edit-language)
- Create new Programming Language Objects
(wikilambda-create-programming)
- Edit existing Programming Language Objects
(wikilambda-edit-programming)
- Edit Function that has a connected Implementation
(wikilambda-edit-running-function)
- Edit existing Type Objects
(wikilambda-edit-type)
- Edit system-provided Function
(wikilambda-edit-builtin-function)
See also
- more detailed context at mw:Help:Wikifunctions/User rights
- Wikifunctions:Functioneers
- Wikifunctions:User groups