makedocs.php
$footer
$footer
= file_get_contents("footer.template.html")
$header
$header
= str_replace("##VERSION_OPTIONS##", $opts, $template)
$opts
$opts
= "<option value='/'>master</option>"
foreach($tags as $tag) foreach ( $tags as $tag) $taglist $taglist = ''
$tags
$tags
= explode("\n", shell_exec("git tag"))
foreach($tags as $tag) foreach ( $tags as $tag) $template $template = file_get_contents("header.template.html")
foreach($tags as $tag)
( $tags as $tag)
foreach
if(!file_exists(getenv("HOME") . "/dpp-web"))
(!file_exists(getenv("HOME") . "/dpp-web"))
if