-
-
Notifications
You must be signed in to change notification settings - Fork 173
Expand file tree
/
Copy pathenvironment.php
More file actions
executable file
·28 lines (18 loc) · 750 Bytes
/
environment.php
File metadata and controls
executable file
·28 lines (18 loc) · 750 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<?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 <?=$execution_time?> seconds.</p>