function file_path_cmp($path1, $path2)
{
$path1 = str_replace('\\', '/', $path1);
$path1 = str_replace('//', '/', $path1);
$path2 = str_replace('\\', '/', $path2);
$path2 = str_replace('//', '/', $path2);
loadCoreFile('bouncer.php');
$bnc = new Bouncer();
$bnc->detect_OS();
if ($bnc->_os_type == "win") {
return _ml_strcasecmp($path1, $path2);
} else {
return strcmp($path1, $path2);
}
}
