Encoding the Buttons
encodeDecrementButton must write an input HTML element with
attributes:
- type: = "submit"
- name: to be used during decoding (must be unique from the input
field)
- value: = "<"
encodeIncrementButton must write an input HTML element with
attributes:
- type: = "submit"
- name: to be used during decoding (must be unique from the input
field and the decrement button)
- value: = ">"