Définition de l'option USE_REMOTE_USER

This commit is contained in:
Jean-Philippe Guérard 2011-12-30 01:26:07 +01:00
parent 23464be59b
commit 39185e0960

View File

@ -81,6 +81,9 @@ define('URL_PROPRE', false);
// Activation de Google Analytics (false si inactif, l'identifiant sinon)
define('GOOGLE_ANALYTICS_ID', false);
// Utilisation de l'identité (REMOTE_USER) fournie par le serveur web
define('USE_REMOTE_USER', true);
if (@file_exists('variables.local.php')) {
include('variables.local.php');
}