<?=htmlspecialchars($title)?>

0. Contents

This is the documentation of . '.htmlspecialchars($url).'.
Check there for new versions. '; if(isset($git)) { $k .= '

'. 'Additionally, the most recent source code (bleeding edge) for '.htmlspecialchars($progname). ' can also be downloaded by cloning the Git repository'. ' by:

git clone '.htmlspecialchars($git).'
git checkout origin/release -b release
git checkout origin/master -b master

'; } $text['download:99999. Downloading'] = $k; include $docformatfn; $st1 = stat($docmodulefn); $st2 = stat('docmaker.php'); ?>

Generated from (last updated: )
with docmaker.php (last updated: )
at

/dev/null'); } else print $s; }