From fbacafdb4f4f3d124234203e2737a8b5210d0bcc Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Fri, 9 Feb 2024 15:10:36 +0000
Subject: [PATCH] type

---
 core/event.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/event.php b/core/event.php
index f1cc3130..c615af10 100644
--- a/core/event.php
+++ b/core/event.php
@@ -51,7 +51,7 @@ class PageRequestEvent extends Event
     /**
      * @var string[]
      */
-    public $args;
+    public array $args;
     public int $arg_count;
     public int $part_count;