Welcome!

This is an Eclipse Update Site. To install the software hosted on this site, please use the Eclipse Update Manager.
To learn how to install software from an update site, please carefully read Adding a new software site from Eclipse Online-Help and follow the instructions there.

#[[ "; 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; } ?> ]]#