[DOC-PL] This PHP Manual build is broken

[email protected] Sun, 05 May 2024 08:11:58 +0100
Newsgroups php.doc.pl
Message-ID <6637313e.I8c3Q9suvQE6p8uA%[email protected]>
This is a multi-part message in MIME format.

--=_6637313e.Gt27T0a+l9K7o+k+9zJpPrHNEOke9NvEeAuWSpDi4YaBhDQf
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

--=_6637313e.Gt27T0a+l9K7o+k+9zJpPrHNEOke9NvEeAuWSpDi4YaBhDQf
Content-Type: text/plain;
 charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="pl.txt"

===> Sun May  5 08:11:52 BST 2024 Starting pl
===> Sun May  5 08:11:52 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-05-08-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:       927c3d9ef797f572473754d0ed8488d34986f0ca
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!

--=_6637313e.Gt27T0a+l9K7o+k+9zJpPrHNEOke9NvEeAuWSpDi4YaBhDQf--