From c11e020f288dc1124eb8d976ef873045da753fe5 Mon Sep 17 00:00:00 2001
From: Rishab Garg <me@rishab-garg.me>
Date: Mon, 7 Aug 2023 22:20:12 +0200
Subject: [PATCH] Added `mininput` attribute to HtmlInputTag

---
 src/jsx/element-types.d.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/jsx/element-types.d.ts b/src/jsx/element-types.d.ts
index 7f41dc5a2..9f8a6429a 100644
--- a/src/jsx/element-types.d.ts
+++ b/src/jsx/element-types.d.ts
@@ -141,6 +141,7 @@ declare namespace JSX {
         maxlength?: string;
         method?: string;
         min?: string;
+        minlength?: string;
         multiple?: string;
         name?: string;
         novalidate?: string | boolean;
@@ -338,4 +339,4 @@ declare namespace JSX {
         height?: string;
     }
 }
-//# sourceMappingURL=element-types.d.ts.map
\ No newline at end of file
+//# sourceMappingURL=element-types.d.ts.map