content(file_get_contents($index));
//make_necessary_directories(BASEDIR.$tools_dir.'/images/include.php');
writeFile($tools_dir.'/index.html', $page->out());
if (!is_dir(BASEDIR.$tools_dir.'/images')) {
mkdir(BASEDIR.$tools_dir.'/images', 0757);
}
copydirr(CONTENTDIR."api_en/tools/images", BASEDIR.$tools_dir.'/images');
// copy over the files for the contributed libraries
copy(CONTENTDIR."static/tools.html", BASEDIR.$tools_dir.'/tools.html');
$benchmark_end = microtime_float();
$execution_time = round($benchmark_end - $benchmark_start, 4);
?>
Tool Generation Successful
Generated files in seconds.