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