private static function realpath(array $pathFragments)
{
$realpath = [];
foreach ($pathFragments as $fragment) {
if ($fragment === '.') {
continue;
}
if ($fragment === '..') {
array_pop($realpath);
continue;
}
$realpath[] = $fragment;
}
return $realpath;
}