Re: Add commit ID to build info
"Christoph M. Becker" <[email protected]>
| Newsgroups | gmane.comp.php.documentation.general |
|---|---|
| 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