Fix in explode in Basic class

This commit is contained in:
Clemens Schwaighofer
2019-09-13 16:59:10 +09:00
parent 56612cb13b
commit 25941f4b49
2 changed files with 2 additions and 2 deletions

View File

@@ -1526,7 +1526,7 @@ class Basic
// DESC : a simple wrapper for the date format
public static function dateStringFormat($timestamp, bool $show_micro = true): string
{
list ($timestamp, $ms) = explode('.', round($timestamp, 4));
list ($timestamp, $ms) = explode('.', (string)round($timestamp, 4));
$string = date("Y-m-d H:i:s", $timestamp);
if ($show_micro) {
$string .= ' '.$ms.'ms';