Welcome!

Pleae select the product download appropriate for your OS (Windows, Mac OS X, GNU/Linux) and architecture.
"; foreach($dirs as $dir) { echo '
  • '.$dir.'/
    • '; if(count($pathElements) > $pathDepth && $dir == $pathElements[$pathDepth]) { printDir($pathElements, $pathDepth+1); } } foreach($files as $file) { echo '
  • '.$file.'
    • '; } echo ""; } function printIndent($depth) { for($i=0; $i<$depth; $i++) echo " "; } function getDirectory($pathElements, $pathDepth) { $dir = ""; for($i=0; $i<$pathDepth; $i++) { $dir .= $pathElements[$i]."/"; } return $dir; } function readDirectories($dir) { $dirs = array(); if ($handle = opendir($dir)) { while (false !== ($file = readdir($handle))) { if($file == "." || $file=="..") continue; if(is_dir($dir.$file)) $dirs[] = $file; } } return $dirs; } function readFiles($dir) { $files = array(); if ($handle = opendir($dir)) { while (false !== ($file = readdir($handle))) { if($file == "." || $file=="..") continue; if(is_file($dir.$file) && !preg_match("/.*\.php/", $file)) $files[] = $file; } } return $files; } ?>