[DOC-RU] This PHP Manual build is broken

[email protected] Wed, 24 Apr 2024 12:14:14 +0100
Newsgroups php.doc.ru
Message-ID <6628e986.o9SnnmomofiToBpO%[email protected]>
This is a multi-part message in MIME format.

--=_6628e986.oaviSRokj0RwPAqZ/EijcSOzVcsqWY5OYxAGl4db6uA/PIQM
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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

--=_6628e986.oaviSRokj0RwPAqZ/EijcSOzVcsqWY5OYxAGl4db6uA/PIQM
Content-Type: application/octet-stream
Content-Transfer-Encoding: 8bit
Content-Disposition: attachment;
 filename="ru.txt"

===> Wed Apr 24 12:13:53 BST 2024 Starting ru
===> Wed Apr 24 12:13:53 BST 2024 Configuring ru
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-24-12-ru.xml
Checking whether to include CHM... no
Checking for PHP executable... /usr/bin/php
Checking for language to build... ru
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:       8cb32bd2c0f0b8a95ebb84b211920fe10d4c2679
fatal: unknown field name: push:track
ru:       c526b54bbbdb10d6c17c51089e5fd6b80acffb86

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/ru/reference/filter/functions/filter-input.xml:62:59)
   Если установили флаг <constant>FILTER_NULL_ON_FAILURE</constant, а переменную не установили>,
-----------------------------------------------------------^
 expected '>'


Previous errors too severe. Stopping here.


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

--=_6628e986.oaviSRokj0RwPAqZ/EijcSOzVcsqWY5OYxAGl4db6uA/PIQM--