Permit null timestamp to date() in PHP 8
Permit null timestamp to date() in PHP 8

PHP 8 allows the timestamp to be null, but version 7.4 doesn't.
Creates a mapping for date() to allow $timestamp to be null in PHP 8.

vimeo/psalm,vimeo/psalm