PHP render_file_list Beispiele

Beispiel #1

Datei: docs.php Projekt: hflicka/arden2bytecode-homepage

function render_docs()
{
    if (isset($_GET['view']) && !empty($_GET['view'])) {
        $filename = $_GET['view'];
        $filename = preg_replace('{[\\/]}', ' ', $filename);
        echo render_file($filename);
    } else {
        echo render_file('home');
        echo "\n<hr>\n<h3>List of Wiki files</h3>\n";
        render_file_list();
    }
}

Beispiel #2

Datei: menu.php Projekt: hflicka/arden2bytecode-homepage

<?php

include_once "includes/docs.php";
?>
<ul>
<li><a href="/">About</a></li>
<li><a href="/download">Downloads</a></li>
<li><a href="/arden4eclipse">Arden4Eclipse</a></li>
<li><a href="/docs/">Documentation</a>
<?php 
render_file_list("/docs/");
?>
</li>
<li><a href="/links">Links</a></li>
<li><a href="/source">Source Code</a></li>
<li><a href="/issues">Bug reports</a></li>
<li><a href="/contact">Contact</a></li>
</ul>