diff options
Diffstat (limited to 'mayor-orig/mayor-base/www/index.php')
| -rw-r--r-- | mayor-orig/mayor-base/www/index.php | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/mayor-orig/mayor-base/www/index.php b/mayor-orig/mayor-base/www/index.php index 6db3d23e..1f50a99c 100644 --- a/mayor-orig/mayor-base/www/index.php +++ b/mayor-orig/mayor-base/www/index.php @@ -12,7 +12,12 @@ require('include/base/str.php'); require('include/base/log.php'); require('include/alert/base.php'); - if ( defined('__TESTERRORREPORTER') && __TESTERRORREPORTER===true) require('include/base/error.php'); + if (version_compare(PHP_VERSION, '5.3.0', '>')) { + if (file_exists('vendor/autoload.php')) { + require_once('vendor/autoload.php'); + require_once('include/base/error.php'); + } + } require('include/base/rights.php'); require('include/base/login.php'); require('include/menu/base.php') ; |