public function makeFullNsPath($functions)
{
$cb = function ($x) {
$r = strtolower($x);
if (isset($r[0]) && $r[0] != '\\') {
$r = '\\' . $r;
}
return $r;
};
if (is_string($functions)) {
return $cb($functions);
} else {
$r = array_map($cb, $functions);
}
return $r;
}