substr($dir, -1) != '/') { $dir .= '/'; } while ($file = @readdir($handle)) { if (is_file($dir . $file) && ($expression == '' || preg_match($expression, $file)) ) { $result[] = $file; } } @closedir($handle); asort($result); return $result; } /** * Returns options of filtered file names * * @param string $dir directory to list * @param string $extensions regular expression to match files * @param string $active currently active choice * * @return array sorted file list on success, false on failure */ function PMA_getFileSelectOptions($dir, $extensions = '', $active = '') { $list = PMA_getDirContent($dir, $extensions); if ($list === false) { return false; } $result = ''; foreach ($list as $val) { $result .= '' . "\n"; } return $result; } /** * Get currently supported decompressions. * * @return string separated list of extensions usable in PMA_getDirContent */ function PMA_supportedDecompressions() { global $cfg; $compressions = ''; if ($cfg['GZipDump'] && @function_exists('gzopen')) { if (!empty($compressions)) { $compressions .= '|'; } $compressions .= 'gz'; } if ($cfg['BZipDump'] && @function_exists('bzopen')) { if (!empty($compressions)) { $compressions .= '|'; } $compressions .= 'bz2'; } if ($cfg['ZipDump'] && @function_exists('gzinflate')) { if (!empty($compressions)) { $compressions .= '|'; } $compressions .= 'zip'; } return $compressions; }