read()) !== False) $res[] = $entry; return preg_grep('*.xml', $res); } ?>