install.php comme point d'entrée possible

Permet d'appeler install.php directement plutôt que index.php (qui reste
possible).

2 files changed, 4 insertions, 3 deletions

diff --git a/public/index.php b/public/index.php
index 108853fb7..5728d981b 100755
--- a/public/index.php
+++ b/public/index.php
@@ -18,11 +18,11 @@
 #
 # ***** END LICENSE BLOCK *****
 
-require('../constants.php');
-
 if (file_exists ('install.php')) {
-	include ('install.php');
+	require('install.php');
 } else {
+	require('../constants.php');
+
 	session_cache_limiter('');
 	require (LIB_PATH . '/http-conditional.php');
 	$dateLastModification = max(
diff --git a/public/install.php b/public/install.php
index ed7c5e3bb..dbe79e774 100644
--- a/public/install.php
+++ b/public/install.php
@@ -1,4 +1,5 @@
 <?php
+require('../constants.php');
 
 session_start ();