<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 }