index.php

   1 <?php
   2
   3 // Ce fichier n'est pas censé être appelé sauf si l'installation de Garradin
   4 // n'est pas effectuée correctement avec le vhost pointant sur le répertoire www/
   5 // auquel cas on limite les dégâts
   6
   7 // Juste une vérification avant de continuer
   8 if (!version_compare(phpversion(), '5.4.0', '>='))
   9 {
  10         die('PHP 5.4.0 ou supérieur est nécessaire au fonctionnement de Garradin.');
  11 }
  12
  13 header('Location: www/');