$data = file($file);
foreach(explode("\t", trim($data[0])) as $name) {
if (check_non_list($name)) continue;
+ if (! is_page($name)) {
+ continue;
+ }
echo ' ', $name;
}
echo "\n";
foreach (file($file) as $line) {
list($name) = explode("\t", $line);
if (check_non_list($name)) continue;
+ if (! is_page($name)) {
+ continue;
+ }
echo ' ', $name;
}
echo "\n";