src/lib/pagina.php

   1 <?php
   2 // vim: set binary noeol et sw=4 sts=4 :
   3 // Grupo 10
   4 //
   5 // Lucarella, Schein, Arena
   6 //
   7 // Creado: Leandro Lucarella (sáb abr 30 20:21:30 ART 2005)
   8 //
   9 // $Id$
  10
  11 require_once 'lib/Usuario.php';
  12
  13 // Configuración de la sesión.
  14 ini_set('session.gc_maxlifetime', 86400); // Que el GC no la limpie por 24hs
  15 //ini_set('session.use_only_cookies', 1); // Para mayor seguridad
  16 session_set_cookie_params(1800); // La sesión vence en 30 minutos
  17
  18 // Arranca la sesión
  19 session_start();
  20
  21 // Pongo que tire mucho errores
  22 error_reporting(E_ALL);
  23
  24 // Para que la fecha este en castellano
  25 setlocale(LC_ALL, 'es_AR');
  26
  27 /// Cabecera de página
  28 function pagina_cabecera($titulo = '')
  29 {
  30     // Guarda esta como la última página visitada.
  31     $_SESSION['last_page'] = basename($_SERVER['PHP_SELF']);
  32 ?>
  33 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  34
  35 <html lang="es">
  36     <head>
  37         <title>Grupos<?php echo $titulo ? " - $titulo" : '' ?></title>
  38         <script src="lib.js" type="text/javascript" language="JavaScript">
  39         </script>
  40         <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" >
  41     </head>
  42     <body>
  43         <h1>Grupos</h1>
  44         <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
  45 <?php
  46 }
  47
  48 /// Pie de página
  49 function pagina_pie($autor, $mail, $foto)
  50 {
  51 ?>
  52         <hr />
  53         <div align="center">
  54         <address>
  55             <span lang="en">Copyleft</span> 2005 - Grupo 10 -
  56             Autor:
  57             <a href="mailto:<?php echo $mail ?>"><?php echo $autor ?></a>
  58             <img src="<?php echo $foto ?>" alt="Foto de <?php echo $autor ?>"
  59                  align="middle" />
  60         </address>
  61         <a href="http://validator.w3.org/check?uri=referer"><img border="0"
  62             src="img/valid-html401.png"
  63             alt="HTML 4.01 Válido!" height="31" width="88"></a>
  64         </div>
  65     </body>
  66 </html>
  67 <?php
  68 }
  69
  70 /// Cabecera del menu (debe estar logueado)
  71 function menu_cabecera($titulo = '')
  72 {
  73 ?>
  74 <table summary="Estructura, divide contenido (derecha) de menú (izquierda)"
  75         border="0" width="100%">
  76     <tbody>
  77     <tr>
  78         <td width="200" valign="top"><!-- MENU -->
  79             <h2>Menú</h2>
  80             <ul>
  81                 <li>
  82                     <h3>FAQ</h3>
  83                     <ul>
  84                         <li><a href="faq.listadoPreguntas.php">Listar Preguntas</a></li>
  85                         <li><a href="faq.ingresarPregunta.php">Ingresar Pregunta</a></li>
  86                     </ul>
  87                 </li>
  88                 <li>
  89                     <h3>Sitios</h3>
  90                     <ul>
  91                         <li><a href="">Algo</a></li>
  92                         <li><a href="">Otro</a></li>
  93                     </ul>
  94                 </li>
  95                 <?php if ($_SESSION['user']->esAdmin()) { ?>
  96                 <li>
  97                     <h3>Admin</h3>
  98                     <ul>
  99                         <li><a href="admin.creditos.php">Créditos</a></li>
 100                         <li><a href="admin.admin.php">Cambio de Admin</a></li>
 101                     </ul>
 102                 </li>
 103                 <?php } ?>
 104                 <li><a href="admin.log.php">Log</a></li>
 105                 <li><a href="admin.logout.php">Salir</a></li>
 106             </ul>
 107         </td>
 108         <td valign="top">
 109             <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
 110 <?php
 111 }
 112
 113 /// Pié del menu
 114 function menu_pie()
 115 {
 116 ?>
 117         </td>
 118     </tr>
 119     </tbody>
 120 </table>
 121 <?php
 122 }
 123
 124 /// Cabecera del marco de una página (con menú, necesita estar logueado).
 125 function marco_cabecera($titulo = '', $admin_check = false)
 126 {
 127     pagina_check_login();
 128     pagina_cabecera();
 129     menu_cabecera($titulo);
 130     if ($admin_check) admin_check();
 131 }
 132
 133 /// Pie del marco de una página (con menú).
 134 function marco_pie($autor, $mail, $foto)
 135 {
 136     menu_pie();
 137     pagina_pie($autor, $mail, $foto);
 138 }
 139
 140 /// Mensajes de error
 141 function error($msg)
 142 {
 143     printf('<p style="color: red">%s</p>', $msg);
 144 }
 145
 146 /// Mensajes de éxito
 147 function ok($msg)
 148 {
 149     printf('<p style="color: green">%s</p>', $msg);
 150 }
 151
 152 // Mensaje de advertencia.
 153 function warn($msg)
 154 {
 155     printf("<p style=\"color: navy; font-weight: bold\">%s</p>\n", $msg);
 156 }
 157
 158 /// Muestra un párrafo común
 159 function p($msg)
 160 {
 161     printf("<p>%s</p>\n", $msg);
 162 }
 163
 164 /// print fácil para debug.
 165 function d($var)
 166 {
 167     echo '<pre>'; var_dump($var); echo '</pre>';
 168 }
 169
 170 /// Verifica que el usuario esté logueado y si no lo está muestra login.
 171 function pagina_check_login($redirect = true)
 172 {
 173     if (!@$_SESSION['user'])
 174     {
 175         // Avisamos a donde hay que volver
 176         if ($redirect) $_SESSION['login_redirect'] = basename($_SERVER['PHP_SELF']);
 177         include 'admin.login.php'; // Mostramos el login
 178         exit;
 179     }
 180 }
 181
 182 ?>