This PHP Manual build is broken

--=_64c1364d.G0lpfhXWvInMywDNtIMOn5UG4rYYoCDMZdiGHDG4WbbR4M57
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

--=_64c1364d.G0lpfhXWvInMywDNtIMOn5UG4rYYoCDMZdiGHDG4WbbR4M57--