code: public String submitExtra (String name, String text, String extra)
      {
          return fixedInput("submit", name, text, extra);
      }
docs: Constructs a submit element with the specified parameter name and
  the specified button text with the specified extra text.