[DOC-PL] This PHP Manual build is broken

[email protected] Tue, 07 May 2024 16:11:46 +0100
Newsgroups php.doc.pl
Message-ID <663a44b2.xce3oS+g3UWrJLQi%[email protected]>
This is a multi-part message in MIME format.

--=_663a44b2.AIq2oeJ8RjidQ0lJgwjbvhgSymTzOOf3UQPDrexBSkygPckJ
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

--=_663a44b2.AIq2oeJ8RjidQ0lJgwjbvhgSymTzOOf3UQPDrexBSkygPckJ
Content-Type: text/plain;
 charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="pl.txt"

===> Tue May  7 16:11:39 BST 2024 Starting pl
===> Tue May  7 16:11:39 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-05-07-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: dce7ce103ce5da0216549060e5bf1fb77284eb74
?? developer.template.xml
?? fileModHistory.php
fatal: unknown field name: push:track
en:       76875b513cc18a8f5db4a65f1ae51b6e6fb5374c
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.
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!

--=_663a44b2.AIq2oeJ8RjidQ0lJgwjbvhgSymTzOOf3UQPDrexBSkygPckJ--