Ticket #61908: patch.php

<?php

if ( null === $timestamp ) {
        $timestamp = time();
} elseif ( ! is_numeric( $timestamp ) && ! is_float( $timestamp ) ) {
        return false;
}