Though it doesn't make much of a difference, really, we don't need to specify 2001 as the year.
Merge branch 'master' of https://git.php.net/push/web/php