function build_tool_select_options()
{
    $tools = get_tools();
    $script = "<option value=''>----</option>";
    foreach ($tools as $tool) {
        $script .= "<option class='" . $tool->domain_name . " tool" . "' value='" . $tool->name . "'>" . $tool->name . "</option>";
    }
    return $script;
}
Example #2
0
                <?php 
    echo render_views('footer-column-four');
    ?>
            </div>
        </div>
      <?php 
}
?>
  
 <!-- Region 13 "footer", -  , - visas alltid -->
  		<div class="row">
  			<div class="span12">
    			<?php 
echo render_views('footer');
echo $footer;
echo get_tools();
echo get_debug();
?>
  			</div>
		</div>
      </footer>

    </div> <!-- /container -->
     <!-- Le javascript
        ================================================== -->
        <!-- Placed at the end of the document so the pages load faster -->
        <script src="../../bootstrap/js/jquery-1.8.3.min.js"></script>
        <script src="../../bootstrap/js/bootstrap.min.js"></script>
       
  </body>
</html>