diff options
author | Mario <mario@mariovavti.com> | 2022-10-11 18:29:06 +0000 |
---|---|---|
committer | Mario <mario@mariovavti.com> | 2022-10-11 18:29:06 +0000 |
commit | ccd826f63a7a4c7e442fab8a70d9c4c84808b417 (patch) | |
tree | fbbde69114acba764cf6b735433c53e099fd19c5 /vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php | |
parent | 5e5f0aa955d86743a14531bed98501b59140ab1f (diff) | |
download | volse-hubzilla-ccd826f63a7a4c7e442fab8a70d9c4c84808b417.tar.gz volse-hubzilla-ccd826f63a7a4c7e442fab8a70d9c4c84808b417.tar.bz2 volse-hubzilla-ccd826f63a7a4c7e442fab8a70d9c4c84808b417.zip |
Revert "update composer libs"
This reverts commit 5e5f0aa955d86743a14531bed98501b59140ab1f.
Diffstat (limited to 'vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php')
-rw-r--r-- | vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php b/vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php index 66009f14d..538d2f2f6 100644 --- a/vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php +++ b/vendor/ramsey/uuid/src/Converter/Time/PhpTimeConverter.php @@ -58,9 +58,20 @@ class PhpTimeConverter implements TimeConverterInterface */ private const MICROSECOND_INTERVALS = 10; - private int $phpPrecision; - private CalculatorInterface $calculator; - private TimeConverterInterface $fallbackConverter; + /** + * @var CalculatorInterface + */ + private $calculator; + + /** + * @var TimeConverterInterface + */ + private $fallbackConverter; + + /** + * @var int + */ + private $phpPrecision; public function __construct( ?CalculatorInterface $calculator = null, @@ -121,11 +132,11 @@ class PhpTimeConverter implements TimeConverterInterface } /** - * @param float|int $time The time to split into seconds and microseconds + * @param int|float $time The time to split into seconds and microseconds * * @return string[] */ - private function splitTime(float | int $time): array + private function splitTime($time): array { $split = explode('.', (string) $time, 2); |