\n";
}
else
{
print "File '$menu_info_file' does not exist
";
}
?>
Teaching Assistant(s)
| \n";
echo "\n";
$contents = file($menu_info_file);
for($i=0;$i < count($contents); ++$i)
{
$contents[$i] = trim( $contents[$i] );
# Ignore blank lines
if($contents[$i] == ""){
continue;
}
# Ignore comment
if(preg_match("/^#.*/", $contents[$i])){
continue;
}
# Designation Link
else{
displayHoriLink($contents[$i]);
}
}
echo "
\n";
print "\n";
}
else
{
print "File '$menu_info_file' does not exist
";
}
?>