[DOC-PL] This PHP Manual build is broken

This is a multi-part message in MIME format.

--=_662d1574.1sYFi/G2VXGmQcQXjLyYP11AZp6y1sIfHzDd7Llg9mQLNYtX
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

The pl 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

--=_662d1574.1sYFi/G2VXGmQcQXjLyYP11AZp6y1sIfHzDd7Llg9mQLNYtX
Content-Type: text/plain;
 charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="pl.txt"

===> Sat Apr 27 16:10:37 BST 2024 Starting pl
===> Sat Apr 27 16:10:37 BST 2024 Configuring pl
configure.php: $Id$
PHP version: 8.1.24

WARNING: Unknown option 'segfault-speed'!
Checking for source directory... /local/src/phpdoc-git/base
Checking for output filename... /local/src/phpdoc-git//base/2024-04-27-16-pl.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... pl
Checking whether the language is supported... yes
Checking for partial build... no
Checking whether to enable detailed XML error messages... no
Checking libxml version... 2.9.1
Checking whether to enable detailed error reporting (may segfault)... yes
fatal: unknown field name: push:track
doc-base: dacdc954a35383c53e7870f244beb9066e3c0417
?? developer.template.xml
?? fileModHistory.php
fatal: unknown field name: push:track
en:       0be325d396b139feeaee38168f779be962b74f09
fatal: unknown field name: push:track
pl:       d9d4ebd2735ee96e15bf04b16013078b00d83a14

Generating /local/src/phpdoc-git/base/manual.xml... done
Generating /local/src/phpdoc-git/base/install-unix.xml... done
Generating /local/src/phpdoc-git/base/install-win.xml... done
Generating /local/src/phpdoc-git/base/scripts/file-entities.php... done
Iterating over extension specific version files... OK
Saving it... OK
Iterating over files for sources info... OK
Generating sources XML... OK
Saving sources.xml file... OK
Modification history file /local/src/phpdoc-git/en/fileModHistory.php not found.
PHP Warning:  Undefined variable $history_file in /local/src/phpdoc-git/base/configure.php on line 315
Creating empty modification history file...done.
Creating file /local/src/phpdoc-git/base/entities/file-entities.ent... done
Checking for if we should generate a simplified file... no
Checking whether to save an invalid .manual.xml... no
Loading and parsing manual.xml... failed.

ERROR (file:////local/src/phpdoc-git/pl/language/context.xml:23:25)
 &language.context.curl;
-------------------------^
 Entity 'language.context.curl' not defined


Previous errors too severe. Stopping here.


Eyh man. No worries. Happ shittens. Try again after fixing the errors above.
=============> Something happenend when snapshotting pl
Failed completely
=============> Please have a look!

--=_662d1574.1sYFi/G2VXGmQcQXjLyYP11AZp6y1sIfHzDd7Llg9mQLNYtX--