diff options
| author | Sean Molenaar <sean@seanmolenaar.eu> | 2020-10-04 21:33:03 +0200 |
|---|---|---|
| committer | Benjamin Brahmer <info@b-brahmer.de> | 2020-10-05 09:47:44 +0200 |
| commit | 49c6f7077d558c1e8aa897d1cba2292a8def94d5 (patch) | |
| tree | b30bb848395d16e8d6f1f3ad97ed8c0a9b223119 /lib | |
| parent | b69e00f96a05e81b3868e1597dd750cead8d1442 (diff) | |
Define microtime as string
Closes #835
Signed-off-by: Sean Molenaar <sean@seanmolenaar.eu>
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Utility/Time.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Utility/Time.php b/lib/Utility/Time.php index aee1e6358..276a140cd 100644 --- a/lib/Utility/Time.php +++ b/lib/Utility/Time.php @@ -19,9 +19,9 @@ class Time } /** - * @return int the current unix time in miliseconds + * @return string the current unix time in miliseconds */ - public function getMicroTime(): int + public function getMicroTime(): string { list($millisecs, $secs) = explode(" ", microtime()); return $secs . substr($millisecs, 2, 6); |