<div class="navbar-header">
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="<?php
echo SITE_URL;
?>
"><?php
echo SITE_NAME;
?>
</a>
<?php
version_show_linked_number("v", 'navbar-brand');
?>
</div>
<div id="navbar" class="collapse navbar-collapse">
<ul class="nav navbar-nav">
<li <?php
if (!isset($_GET['p'])) {
echo 'class="active"';
}
?>
><a href="<?php
echo SITE_URL;
?>
"><?php
echo _("Home");
?>
function version_display_settings()
{
echo "<h1>Version</h1>";
version_show_linked_number("Current version: ");
/********************************/
/* Increase version */
/********************************/
?>
<form id="increase_version_form" method="post">
<h3>New version</h3>
<input type="radio" name="amount" value="0.01" /> 0.01<br />
<input type="radio" name="amount" value="0.1" /> 0.1<br />
<input type="radio" name="amount" value="next" /> Next whole number
<br />
<input type="button" name="increase_version_button" onclick="confirmation_form('increase_version_form','Do you really want to increase the version?')" value="Increase!">
<input type="hidden" name="increase_version" value="yes">
</form>
<?php
}
