set_time_limit(0);
svn_update();
header("Location: index.php");
exit;
case "info":
ob_start();
phpinfo();
preg_match('%<style type="text/css">(.*?)</style>.*?(<body>.*</body>)%s', ob_get_clean(), $matches);
# $matches [1]; # Style information
# $matches [2]; # Body information
echo "<div id='main'><div id='info'>";
echo $matches[2] . "\n</div>\n";
echo "</div></div>";
exit;
case "errors":
StartPage::showErrorLog();
exit;
}
}
setlocale(LC_ALL, 'cs_CZ', 'cz');
?>
<div id="main"><!--
<ul id="tabnav">
<li class="tab1"><a href="?node=dash">Dashboard</a></li>
<li class="tab2"><a href="?node=log">Changelog</a></li>
<li class="tab3"><a href="?node=review">Review</a></li>
<li class="tab4"><a href="?node=deploy">Deployment</a></li>
<li class="tab5"><a href="?node=admin">Administration</a></li>
</ul>
--> <?php
if (isset($_GET['node'])) {
