2021-06-02 15:46:20 +02:00

17 lines
259 B
PHP

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