¡Esta es una revisión vieja del documento!


<php> if (!empty($_SERVER['REMOTE_USER'])) {

echo '

[ portada

'; } </php>

Portada

  • Última modificación: 31/03/2016 09:49
  • por MBSL