http_port
- preference
- http_port
- hard_to_search
- duplicate_name
- 1
- duplicate_description
- 1
- word_count
- 14
- filter
- digits
- name
- HTTP port
- help
- default
- description
- The port used to access this server; if not specified, port 80 will be used
- locations
- login/1
- dependencies
- type
- text
- options
- admin
- module
- view
- permission
- plugin
- extensions
- tags
- parameters
- detail
- warning
- hint
- shorthint
- If not specified, port 80 will be used
- perspective
- separator