$page) { $active = ''; if (str_ends_with($_SERVER['SCRIPT_FILENAME'], $page)) { $active = " class=\"active\""; } echo "
$name
\n"; } ?>