From 3f7a24477e1e5b8510bc8908e36c8777f7d4ca06 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Sat, 9 Dec 2023 16:53:54 +0100
Subject: [PATCH] Make Psalm happy

---
 src/NetworkFunction/NetworkUseCase.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/NetworkFunction/NetworkUseCase.php b/src/NetworkFunction/NetworkUseCase.php
index dd32476..42a9736 100644
--- a/src/NetworkFunction/NetworkUseCase.php
+++ b/src/NetworkFunction/NetworkUseCase.php
@@ -101,7 +101,7 @@ private function isPageKey( ?string $key ): bool {
 
 	/**
 	 * @param string $pages
-	 * @param string $delimiter
+	 * @param non-empty-string $delimiter
 	 * @return string[]
 	 */
 	private function pagesStringToArray( string $pages, string $delimiter ): array {