Re: Add commit ID to build info

[email protected] ("Christoph M. Becker")
Newsgroups php.doc
Message-ID <[email protected]> 
On 29.01.2021 at 01:25, Adiel Cristo via phpdoc wrote:

> I fixed the pt_br doc build, but for some reason the changes did not
> seem to work (or even to be applied) on the remote server.
>
> I added some changes on the doc/base/configure.php file to get the
> commit ID (patch attached), but I'm not sure if I have permissions to,
> or if I should change this file.
>
> Any thoughts?

I'm not sure about the usefulness of this patch, but maybe consider to
submit that as PR to <https://github.com/php/doc-base>.

Regards,
Christoph
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.