change_theme
- preference
- change_theme
- hard_to_search
- X
- duplicate_name
- 1
- duplicate_description
- 0
- word_count
- 4
- filter
- name
- Users can change theme
- help
- default
- n
- description
- locations
- look/1, user/1
- dependencies
- type
- flag
- options
- admin
- module
- view
- permission
- plugin
- extensions
- tags
- parameters
- detail
- warning
- Users can override the theme with this setting.
- hint
- shorthint
- perspective
- separator