2011-06-27 04:17:32 +00:00
|
|
|
<?php
|
|
|
|
|
header("Content-Type: application/json");
|
|
|
|
|
|
2011-06-29 20:46:05 +00:00
|
|
|
$directories = array();
|
2011-06-27 04:17:32 +00:00
|
|
|
|
|
|
|
|
if ($handle = opendir(getcwd())) {
|
|
|
|
|
while (false !== ($file = readdir($handle))) {
|
|
|
|
|
if (is_dir($file) && $file[0] !== "." ) {
|
2011-06-29 20:46:05 +00:00
|
|
|
array_push($directories, $file);
|
2011-06-27 04:17:32 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
closedir($handle);
|
|
|
|
|
}
|
|
|
|
|
|
2011-08-15 19:09:56 +00:00
|
|
|
$test_pages = array_merge($directories, glob("**/*-tests.html"));
|
|
|
|
|
sort($test_pages);
|
|
|
|
|
|
2011-08-17 22:40:04 +00:00
|
|
|
echo '{ "testPages":["' . implode( '","', $test_pages ) . '"]}';
|
2011-06-27 04:17:32 +00:00
|
|
|
?>
|