- microtime: documentation ( source)
- number_format: documentation ( source)
<?php
class X
{
const TYPE = 'x';
}
class Y
{
const TYPE = 'y';
}
$y = new Y();
$x = new X();
$time = microtime(true);
echo ($y::TYPE === 'y');
echo ($y::TYPE === 'x');
$time = microtime(true) - $time;
echo '1 took' . number_format($time, 3);
$time = microtime(true);
echo ($y instanceof Y);
echo ($y instanceof X);
$time = microtime(true) - $time;
echo '2 took' . number_format($time, 3);