2021-06-01 19:54:59 +02:00

17 lines
305 B
PHP

<?php
if(!function_exists("join_paths")) {
function join_paths()
{
$paths = array();
foreach (func_get_args() as $arg) {
if ($arg !== '') {
$paths[] = $arg;
}
}
return preg_replace('#/+#', '/', join('/', $paths));
}
}