make strftime() $timestamp optional (#581)

make strftime() $timestamp optional
2019-05-06 17:02:53 +02:00 · 2019-05-06 17:02:53 +02:00 · 9363654443
parent 1f3a75076a
commit 9363654443
1 changed files with 1 additions and 1 deletions
--- a/date/date.php
+++ b/date/date.php
@ -769,7 +769,7 @@ function checkdate ($month, $day, $year) {}
 * @since 4.0
 * @since 5.0
 */
-function strftime ($format, $timestamp) {}
+function strftime ($format, $timestamp = null) {}

 /**
 * Format a GMT/UTC time/date according to locale settings