Skip to content

Commit bfc8d39

Browse files
committed
Add generation for Troubleshooting page
1 parent 8ed6030 commit bfc8d39

2 files changed

Lines changed: 35 additions & 36 deletions

File tree

generate/environment_local.php

Lines changed: 35 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -1,29 +1,38 @@
1-
<?
2-
1+
<?
2+
33
require('../config.php');
44
require('lib/Translation.class.php');
5-
$benchmark_start = microtime_float();
6-
7-
// arguments
8-
$lang = isSet($_POST['lang']) ? $_POST['lang'] : 'en';
9-
10-
// get translation file
11-
$translation = new Translation($lang);
12-
13-
$source = CONTENTDIR."/api_$lang/environment/";
14-
$path = DISTDIR."/environment/";
15-
make_necessary_directories($path."images/file");
16-
17-
$page = new LocalPage("Environment (IDE)", "Environment", "Environment", '../');
18-
$page->content(file_get_contents($source."index.html"));
19-
$page->language($lang);
20-
writeFile('distribution/environment/index.html', $page->out());
21-
copydirr($source.'/images', $path.'/images');
22-
23-
$benchmark_end = microtime_float();
24-
$execution_time = round($benchmark_end - $benchmark_start, 4);
25-
26-
?>
27-
28-
<h2>Environment page generation Successful</h2>
5+
$benchmark_start = microtime_float();
6+
7+
// arguments
8+
$lang = isSet($_POST['lang']) ? $_POST['lang'] : 'en';
9+
10+
// make troubleshooting file
11+
$source = CONTENTDIR."/api_$lang/troubleshooting/";
12+
$path = DISTDIR."/troubleshooting/";<br>
13+
make_necessary_directories($path."images/file");
14+
$page = new LocalPage('Troubleshooting \\ Processing 1.0 (BETA)', 'Troubleshooting', 'Troubleshooting', '../');
15+
$page->content(file_get_contents($source."index.html"));
16+
$page->language($lang);
17+
writeFile('distribution/troubleshooting/index.html', $page->out());
18+
copydirr($source.'/images', $path.'/images');
19+
20+
// get translation file
21+
$translation = new Translation($lang);
22+
23+
$source = CONTENTDIR."/api_$lang/environment/";
24+
$path = DISTDIR."/environment/";
25+
make_necessary_directories($path."images/file");
26+
$page = new LocalPage("Environment (IDE)", "Environment", "Environment", '../');
27+
$page->content(file_get_contents($source."index.html"));
28+
$page->language($lang);
29+
writeFile('distribution/environment/index.html', $page->out());
30+
copydirr($source.'/images', $path.'/images');
31+
32+
$benchmark_end = microtime_float();
33+
$execution_time = round($benchmark_end - $benchmark_start, 4);
34+
35+
?>
36+
37+
<h2>Environment page generation Successful</h2>
2938
<p>Generated files in <?=$execution_time?> seconds.</p>

generate/reference_local.php

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -22,16 +22,6 @@
2222
$page->content(file_get_contents($index));
2323
writeFile('distribution/changes.html', $page->out());
2424

25-
// make troubleshooting file
26-
$index = CONTENTDIR."api_$lang/troubleshooting/index.html";
27-
$page = new LocalPage('Troubleshooting \\ Processing 1.0 (BETA)', 'Troubleshooting', 'Troubleshooting', './');
28-
$page->content(file_get_contents($index));
29-
writeFile('distribution/troubleshooting/index.html', $page->out());
30-
31-
//$page = new LocalPage('Libraries \\ Processing 1.0 (BETA)', 'Libraries', 'Libraries', '../');
32-
//$page->content(file_get_contents($index));
33-
//writeFile('distribution/libraries/index.html', $page->out());
34-
3525

3626
/*******************************************************
3727
reference files

0 commit comments

Comments
 (0)