function generate($path)
{
global $output_ext;
$out = highlight_luminous($path);
if ($output_ext === '._html.luminous') {
$out = Luminous::headHtml() . $out;
$out = '<meta http-equiv="Content-Type" content="text/html;
charset=utf-8">' . $out;
}
file_put_contents($path . $output_ext, $out);
}
$line_numbers = false;
}
$line_numbers_start = false;
if (!empty($_POST) && isset($_POST['line-numbers-start'])) {
$line_numbers_start = (int) $_POST['line-numbers-start'];
if ($line_numbers_start > 0) {
Luminous::set('start-line', $line_numbers_start);
}
}
Luminous::set('line-numbers', $line_numbers);
?>
<!DOCTYPE html>
<html>
<head>
<?php
echo Luminous::headHtml();
?>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<?php
if (count($_POST)) {
$lang = $_POST['lang'];
if ($lang === 'guess') {
$s = microtime(true);
$guesses = luminous::guessLanguageFull($_POST['src']);
$e = microtime(true);
$lang = luminous::guessLanguage($_POST['src']);
$printable_guesses = array();
foreach ($guesses as $g) {
<?php
require __DIR__ . '/helper.php';
$files = array('Standard example' => 'example.php', 'AJAX interface' => 'ajax.php', 'Full page output' => 'fullpage.php', 'Inline code' => 'inline.php', 'Theme switcher' => 'themeswitcher.php', 'Setting options' => 'options.php');
if (isset($_GET['file']) && in_array($_GET['file'], $files)) {
Luminous::set('includeJquery', true);
$source = Luminous::highlight('php', file_get_contents(__DIR__ . '/' . $_GET['file']));
Luminous::set('theme', 'github');
$head = Luminous::headHtml();
echo <<<EOF
<!DOCTYPE html>
<html>
<head>
<title></title>
<style> body { font-size: smaller; margin: 0;} </style>
{$head}
</head>
<body>
{$source}
</body>
</html>
EOF;
exit(0);
}
?>
<!DOCTYPE html>
<html>
<head>
<title>Luminous examples</title>
<script src="http://code.jquery.com/jquery-1.8.2.min.js"></script>
