ドロップダウンリストを表示

gettimeofday()

« getservbyport | gettype »
<?php
$mixed = gettimeofday (
     ✓?  // [bool $return_float = false]
);
?>
結果
$mixed = 1714723469.316167
例
#1 gettimeofday  ()
#2 gettimeofday  (true)
ヘルプ その他 設定 この関数のテスト 単体テスト
Powered by PHP 7.1.33 (0.03 s)
Creative Commons License 2014-2017 Michel Corne