<?php require_once '../config.php'; require 'lib/Translation.class.php'; $benchmark_start = microtime_float(); // make overview page $source = CONTENTDIR . "api_en/environment/"; $path = REFERENCEDIR . "/environment/"; make_necessary_directories($path . "images/file"); $page = new Page("Environment (IDE)", "Environment", "Environment", '../../'); $page->content(file_get_contents($source . "index.html")); $page->language("en"); writeFile('reference/environment/index.html', $page->out()); copydirr($source . '/images', $path . '/images'); $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?> <h2>Environment page generation Successful</h2> <p>Generated files in <?php echo $execution_time; ?> seconds.</p>