- var_dump: documentation ( source)
- microtime: documentation ( source)
- str_replace: documentation ( source)
- preg_replace: documentation ( source)
<?php
$time1 = microtime(true);
for ($i=0; $i<10000; $i++) {
$pathName = '/home/local/core/theme/foo//var/foo///bar//foobar/dakfjdsd.dfdjk';
$pathName = preg_replace('/\/+/', '/', $pathName);
}
$time2 = microtime(true);
for ($i=0; $i<10000; $i++) {
$pathName = '/home/local/core/theme/foo//var/foo///bar//foobar/dakfjdsd.dfdjk';
$pathName = str_replace('///', '/', $pathName);
$pathName = str_replace('//', '/', $pathName);
}
$time3 = microtime(true);
var_dump(($time2-$time1)*1000, ($time3-$time2)*1000);