- var_dump: documentation ( source)
- microtime: documentation ( source)
- preg_match: documentation ( source)
<?php
$t = microtime(true);
var_dump(!preg_match('/^[^\:]++(\:[^\:]++)*$/', '12345678901234567890:12345678901234567890'));
return (microtime(true) - $t);