Fixes #7891. Added missing 'type="button"' to button element

Merged Carsten Rose requested to merge B7891ExtraButtonInfoTriggersRequiredWarning into master

Merge request reports