// BH 2007.01.30 // Removes file extensions from a file name. // Initially used to list workload documents function strip_ext($name){ $ext = strrchr($name, '.'); if($ext !== false){ $name = substr($name, 0, -strlen($ext)); } return $name; } // BH 2007.01.30 // Lists and links files in a directory. Hides extensions //function list_no_ext($directory){ function list_no_ext($directory){ if ($handle = opendir($directory)) { while (false !== ($file = readdir($handle))) { if ($file != "." && $file != "..") { $files[] = $file; } } closedir($handle); sort($files); print "\n