diff options
| author | 2013-11-21 12:26:32 +0100 | |
|---|---|---|
| committer | 2013-11-21 12:26:32 +0100 | |
| commit | 50f3b27eb9d15369c6e64ac5140db1b0a90e681d (patch) | |
| tree | fadb772a981acf10c193ac657f795e6c613b4435 /public/index.php | |
| parent | b3e18a850e09afc9f8b3e26c9af80e091ca66ccb (diff) | |
install.php comme point d'entrée possible
Permet d'appeler install.php directement plutôt que index.php (qui reste
possible).
Diffstat (limited to 'public/index.php')
| -rwxr-xr-x | public/index.php | 6 |
1 files changed, 3 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( |
