head.php 1.1 KB

123456789101112131415161718192021222324
  1. <?php
  2. include_once ('tools/util.php');
  3. if (!isset($ini)) {
  4. $ini = read_config ();
  5. }
  6. ?>
  7. <html>
  8. <head>
  9. <!-- Latest compiled and minified CSS -->
  10. <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css" integrity="sha384-1q8mTJOASx8j1Au+a5WDVnPi2lkFfwwEAa8hDDdjZlpLegxhjVME1fgjWPGmkzs7" crossorigin="anonymous">
  11. <!-- Optional theme -->
  12. <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap-theme.min.css" integrity="sha384-fLW2N01lMqjakBkx3l/M9EahuwpSfeNvV63J5ezn3uZzapT0u7EYsXMjQV+0En5r" crossorigin="anonymous">
  13. <!-- Latest compiled and minified JavaScript -->
  14. <script src="script/jquery-1.12.0.min.js"></script>
  15. <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js" integrity="sha384-0mSbJDEHialfmuBBQP6A4Qrprq5OVfW37PRR3j5ELqxss1yVqOtnepnHVP9aJ7xS" crossorigin="anonymous"></script>
  16. <script src="script/script.js"></script>
  17. <link rel="stylesheet" href="styles/style.css">
  18. <meta name="viewport" content="width=device-width, initial-scale=1">
  19. <title><?php echo $ini ['app_title']; ?></title>
  20. </head>
  21. <body>