git.infodrom.org Git - infodrom/hallinta/blob - index.php

   1 <?php
   2 require_once('init.php');
   3 require_once('lib/menu.php');
   4
   5 $jsfiles = array('lib/json_parse.js');
   6 $jscode = '';
   7 $menu = menu();
   8 $html = process();
   9 $debug = debug_info();
  10
  11 # max 8h
  12 $gcml = ini_get('session.gc_maxlifetime');
  13 $refresh = $gcml < 8*60*60 ? $gcml - 60 : 8*60*60 - 60;
  14
  15 ?>
  16 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  17 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="de">
  18 <head>
  19 <title><?=PAGETITLE?></title>
  20 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  21 <?=load_js($jsfiles, $jscode);?>
  22 <link href="stylesheet.css" rel="stylesheet" type="text/css">
  23 <link href="style.css" rel="stylesheet" type="text/css">
  24 <link href="dropdown.css" rel="stylesheet" type="text/css">
  25 <link href="theme.php" rel="stylesheet" type="text/css">
  26 <?=load_style($style);?>
  27 </head>
  28 <body>
  29 <div id="logout_refresh" style="display: none;"><?=$refresh?></div>
  30 <div id="header">
  31 <h1><?=TITLE?></h1>
  32 <?=$menu; ?>
  33 </div>
  34
  35 <div class="content">
  36 <?=$html; ?>
  37 </div>
  38
  39 <?=$debug; ?>
  40 </body>
  41 </html>