From 715e024f8da672cc25e167bf44750a2f0c0c8bf4 Mon Sep 17 00:00:00 2001
From: Claudio Zizza <claudio@budgegeria.de>
Date: Mon, 9 Sep 2024 20:20:59 +0200
Subject: [PATCH] Fix new phpstan errors after update

---
 lib/Docs/RST/RSTPostBuildProcessor.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/Docs/RST/RSTPostBuildProcessor.php b/lib/Docs/RST/RSTPostBuildProcessor.php
index 9cd8211b..470c8a05 100644
--- a/lib/Docs/RST/RSTPostBuildProcessor.php
+++ b/lib/Docs/RST/RSTPostBuildProcessor.php
@@ -78,7 +78,9 @@ private function processHtmlFile(
         string $contents,
     ): string {
         // parse out the source file that generated this file
-        preg_match('/<p>{{ DOCS_SOURCE_PATH : (.*) }}<\/p>/', $contents, $match);
+        $result = preg_match('/<p>{{ DOCS_SOURCE_PATH : (.*) }}<\/p>/', $contents, $match);
+
+        assert($result === 1);
 
         $docsSourcePath = $match[1];