read()){
$ext = substr($entry, strlen($entry)-5, 5);
$name = substr($entry, 0, strlen($entry)-5);
// check if extension is right, add to profile list
if ($ext == ".conf") {
$ret[$pos] = $name;
$pos ++;
}
}
sort($ret);
return $ret;
}
/**
* Prints a meta refresh page
*
* @param string $page the URL of the target page
*/
function metaRefresh($page) {
echo $_SESSION['header'];
echo "\n";
echo "\n";
echo "\n";
echo "\n";
// print link if refresh does not work
echo "\n";
echo "" . _("Click here if you are not directed to the next page.") . "\n";
echo "
\n";
echo "\n";
echo "