- microtime: documentation ( source)
- array_search: documentation ( source)
<?php
$arr = array();
for ($i = 0; $i < 100000; ++$i) {
$arr[] = $i;
}
print microtime();
$k = array_search(59281, $arr);
print microtime();
unset($arr[$k]);
print microtime();