On 29 November 2023 00:48:28 GMT, Matthew Weier O'Phinney <mweierophin...@gmail.com> wrote: >On Tue, Nov 28, 2023, 5:28 PM Derick Rethans <der...@php.net> wrote: > >> On 28 November 2023 17:28:18 GMT, Sebastian Bergmann <sebast...@php.net> >> wrote: >> >> >While we could probably replace __DATE__ and __TIME__ with >> SOURCE_DATE_EPOCH [3] [4], I cannot help but wonder whether having the date >> and time when the executable was built in the executable is actually >> useful. How attached are we to having the date and time of the build in the >> output of phpinfo(), "php -i", etc.? >> >> It is really useful for the development versions of PHP. Knowing whether >> your are running a PHP-dev from last week or last month is important. > > >Would Marco's suggestion of using a git hash solve that? You'd then get >both a reproducible build AND know when/what it was generated from. > >> >> >> >>
Not really, as a hash doesn't directly tell me the date/time, and neither would it help in dev branches / checkouts where the latest changes haven't been comiited yet. cheers Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
