GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — processing-docs/generate/libraries_local.php at master · processing/processing-docs

Expand file tree

/

libraries_local.php

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
executable file
·
47 lines (34 loc) · 1.39 KB
/

libraries_local.php

Copy path

File metadata and controls

executable file
·
47 lines (34 loc) · 1.39 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
<?php
require_once('../config.php');
require_once('lib/Ref.class.php');
require_once('lib/Translation.class.php');
require_once('./contributions.php');
$benchmark_start = microtime_float();
$libraries = array('net', 'serial', 'video', 'dxf', 'pdf', 'sound', 'io', 'svg');
$lib_dir = DISTDIR.'libraries';
// Create Library index
$index = CONTENTDIR."api_en/libraries/index.html";
$page = new LocalPage('Libraries', 'Libraries', 'Libraries', '../');
$page->content(file_get_contents($index));
writeFile('distribution/libraries/index.html', $page->out());
// For each Library
foreach ($libraries as $lib)
{
$source = "api_en/LIB_$lib";
$destination = "libraries/$lib";
//make_necessary_directories(DISTDIR.$destination.'/images/include');
$index = CONTENTDIR.$source.'/index.html';
$page = new LocalPage(ucfirst($lib) . ' \\ Libraries', 'Libraries', 'Libraries', '../../');
$page->content(file_get_contents($index));
writeFile('distribution/'.$destination.'/index.html', $page->out());
}
if (is_dir(DISTDIR.'libraries/images')) {
rmdir(DISTDIR.'libraries/images');
}
mkdir(DISTDIR.'libraries/images', 0755);
copydirr(CONTENTDIR."api_en/libraries/images", DISTDIR.'libraries/images');
$benchmark_end = microtime_float();
$execution_time = round($benchmark_end - $benchmark_start, 4);
?>
<h2>Local library generation successful!</h2>
<p>Generated files in <?=$execution_time?> seconds.</p>
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.