From c09dbc060b9c3bc0d06f070c4a109fefefb79977 Mon Sep 17 00:00:00 2001
From: Yudai Nakata <yudai.nkt@gmail.com>
Date: Mon, 29 May 2023 22:00:27 +0900
Subject: [PATCH] feat: define JSX.ElementChildrenAttribute interface (#1139)

* feat: define JSX.ElementChildrenAttribute interface

* chore: denoify
---
 deno_dist/middleware/jsx/index.ts | 3 +++
 src/middleware/jsx/index.ts       | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/deno_dist/middleware/jsx/index.ts b/deno_dist/middleware/jsx/index.ts
index c1648b76..f7fbfbea 100644
--- a/deno_dist/middleware/jsx/index.ts
+++ b/deno_dist/middleware/jsx/index.ts
@@ -8,6 +8,9 @@ declare global {
   // eslint-disable-next-line @typescript-eslint/no-namespace
   namespace JSX {
     type Element = HtmlEscapedString
+    interface ElementChildrenAttribute {
+      children: Child
+    }
     interface IntrinsicElements {
       [tagName: string]: Props
     }
diff --git a/src/middleware/jsx/index.ts b/src/middleware/jsx/index.ts
index 1be800db..5fc67f09 100644
--- a/src/middleware/jsx/index.ts
+++ b/src/middleware/jsx/index.ts
@@ -8,6 +8,9 @@ declare global {
   // eslint-disable-next-line @typescript-eslint/no-namespace
   namespace JSX {
     type Element = HtmlEscapedString
+    interface ElementChildrenAttribute {
+      children: Child
+    }
     interface IntrinsicElements {
       [tagName: string]: Props
     }