This PHP Manual build is broken

[email protected] Wed, 26 Jul 2023 20:05:43 +0100

Newsgroups	php.doc.de
Message-ID	<64c16e87.ln0wqsJNsvWaHDwo%[email protected]>

--=_64c16e87.Fd5qcM6So7nkiCPWZ2GQ0DjCqAvatvISzjFyo5SF5HsDx/mK
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

The de build of the PHP Manual is broken, so it does not validate or build. Please fix it! ;)

Attached is the full log

Love,
	The docs.php.net server

--=_64c16e87.Fd5qcM6So7nkiCPWZ2GQ0DjCqAvatvISzjFyo5SF5HsDx/mK--