Move HTMLInputTypes type to global declarations

js/src/@types/global.d.ts

@@ -1,3 +1,31 @@
+/**
+ * A type that matches any valid value for the `type` attribute on an
+ * HTML `<input>` element.
+ */
+declare type HTMLInputTypes =
+  | 'button'
+  | 'checkbox'
+  | 'color'
+  | 'date'
+  | 'datetime-local'
+  | 'email'
+  | 'file'
+  | 'hidden'
+  | 'image'
+  | 'month'
+  | 'number'
+  | 'password'
+  | 'radio'
+  | 'range'
+  | 'reset'
+  | 'search'
+  | 'submit'
+  | 'tel'
+  | 'text'
+  | 'time'
+  | 'url'
+  | 'week';
+
 /**
  * @deprecated Please import `app` from a namespace instead of using it as a global variable.
  *

js/src/admin/components/AdminPage.tsx

@@ -20,30 +20,6 @@ interface AdminHeaderOptions {
   className: string;
 }
 
-type HTMLInputTypes =
-  | 'button'
-  | 'checkbox'
-  | 'color'
-  | 'date'
-  | 'datetime-local'
-  | 'email'
-  | 'file'
-  | 'hidden'
-  | 'image'
-  | 'month'
-  | 'number'
-  | 'password'
-  | 'radio'
-  | 'range'
-  | 'reset'
-  | 'search'
-  | 'submit'
-  | 'tel'
-  | 'text'
-  | 'time'
-  | 'url'
-  | 'week';
-
 interface CommonSettingsItemOptions extends Mithril.Attributes {
   setting: string;
   label: string | ReturnType<typeof app.translator.trans>;