[PHP-DEV] New DateTime[Immutable]::createFromTimestamp

[Marc]

Hi internals,

I have opened a small PR to add the following functions at 
https://github.com/php/php-src/pull/12413

DateTime::createFromTimestamp(int|float$timestamp):static
DateTimeImmutable::createFromTimestamp(int|float$timestamp):static
date_create_from_timestamp(int|float$timestamp):DateTime
date_create_immutable_from_timestamp(int|float$timestamp):DateTimeImmutable

I hope this does not require an RFC, but I'm not sure so I'm writing 
here to get some thoughts.


Thanks,
Marc