From c171e98591f3cee385c9913c62c014394896f66b Mon Sep 17 00:00:00 2001
From: Matthew Barbour <matthew@darkholme.net>
Date: Thu, 11 Jun 2020 16:52:59 -0500
Subject: [PATCH] Changed int input field to type number

---
 ext/setup/main.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ext/setup/main.php b/ext/setup/main.php
index 840cefee..c56bdd32 100644
--- a/ext/setup/main.php
+++ b/ext/setup/main.php
@@ -207,8 +207,8 @@ class SetupBlock extends Block
         global $config;
         $val = $config->get_int($name);
 
-        $html = "<input type='text' id='$name' name='_config_$name' value='$val' size='4' style='text-align: center;'>\n";
-        $html .= "<input type='hidden' name='_type_$name' value='int'>\n";
+        $html = "<input type='number' id='$name' name='_config_$name' value='$val' size='4' style='text-align: center;' step='1' />\n";
+        $html .= "<input type='hidden' name='_type_$name' value='int' />\n";
 
         $this->format_option($name, $html, $label, $table_row);
     }