Manual:User toggles

From mediawiki.org

A User toggles is a user preference that can be turned on and off.