From 944c4c615f345458f3bb5fe6ec336cc91aa0375d Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sat, 9 Mar 2024 12:50:29 +0100
Subject: [PATCH] Add link to documentation

---
 build/scripts/extract-release-notes.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build/scripts/extract-release-notes.php b/build/scripts/extract-release-notes.php
index 390143980d1..9383ff3abba 100755
--- a/build/scripts/extract-release-notes.php
+++ b/build/scripts/extract-release-notes.php
@@ -44,4 +44,11 @@
     exit(1);
 }
 
-print $buffer . PHP_EOL;
+printf(
+    '%s%s---%s[How to install or update PHPUnit](https://docs.phpunit.de/en/%s/installation.html)%s',
+    $buffer,
+    PHP_EOL,
+    PHP_EOL,
+    $versionSeries,
+    PHP_EOL,
+);