コード例 #1
0
<?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>
コード例 #2
0
function writeFile($filename, $content)
{
    if (strpos($filename, BASEDIR) !== 0) {
        # force basedir
        $filename = BASEDIR . $filename;
    }
    #echo $filename . "\n";
    #echo $content . "\n";
    make_necessary_directories($filename);
    $fp = fopen($filename, 'w');
    fwrite($fp, $content);
    fclose($fp);
}
コード例 #3
0
$page->content(file_get_contents($index));
make_necessary_directories(BASEDIR . $lib_dir . '/images/include.php');
writeFile($lib_dir . 'index.html', $page->out());
if (is_dir($lib_dir . 'images')) {
    rmdir($lib_dir . 'images');
}
mkdir($lib_dir . 'images', 0755);
copydirr(CONTENTDIR . "api_en/libraries/images", $lib_dir . 'images');
// copy over the file for the contributed libraries
require_once './contributions.php';
copy(CONTENTDIR . "static/libraries.html", $lib_dir . 'libraries.html');
// For each Library
foreach ($libraries as $lib) {
    $source = "api_en/LIB_{$lib}";
    $destination = "libraries/{$lib}";
    make_necessary_directories(REFERENCEDIR . $destination . '/images/include');
    // template and copy index
    $index = CONTENTDIR . $source . '/index.html';
    if ($lib == 'pdf' || $lib == 'dxf') {
        //$page = new Page(strtoupper($lib) . ' \\ Libraries', 'Libraries', 'Library-index');
        $page = new Page(strtoupper($lib) . ' \\ Libraries', 'Libraries');
    } else {
        //$page = new Page(ucfirst($lib) . ' \\ Libraries', 'Library-index');
        $page = new Page(ucfirst($lib) . ' \\ Libraries', 'Libraries');
    }
    //$page->language("en");
    $page->content(file_get_contents($index));
    writeFile('reference/' . $destination . '/index.html', $page->out());
    // copy images directory
    //copydirr(CONTENTDIR.$source.'/images', REFERENCEDIR.$destination.'/images');
}