<?php
require_once '../config.php';
require 'lib/Translation.class.php';
$benchmark_start = microtime_float();
$source = CONTENTDIR . "api_en/environment/";
$path = DISTDIR . "/environment/";
$page = new LocalPage('Environment (IDE)', 'Environment', 'Environment', '../');
$page->content(file_get_contents($source . 'index.html'));
$page->language('en');
writeFile($path . 'index.html', $page->out());
if (is_dir(DISTDIR . 'environment/images')) {
rmdir(DISTDIR . 'environment/images');
}
mkdir(DISTDIR . 'environment/images', 0755);
copydirr($source . 'images', DISTDIR . 'environment/images');
$benchmark_end = microtime_float();
$execution_time = round($benchmark_end - $benchmark_start, 4);
?>
<h2>Local environment page generation successful!</h2>
<p>Generated files in <?php
echo $execution_time;
?>
seconds.</p>
