Merge branch 'master' of github.com:piwik/piwik

1 files changed, 1 insertions, 0 deletions

diff --git a/console b/console
index dc971e5e1a..6c67a50343 100755
--- a/console
+++ b/console
@@ -4,6 +4,7 @@ define('PIWIK_DOCUMENT_ROOT', dirname(__FILE__) == '/' ? '' : dirname(__FILE__))
 define('PIWIK_INCLUDE_PATH', PIWIK_DOCUMENT_ROOT);
 define('PIWIK_USER_PATH', PIWIK_DOCUMENT_ROOT);
 
+require_once PIWIK_INCLUDE_PATH . '/core/testMinimumPhpVersion.php';
 require_once PIWIK_INCLUDE_PATH . '/vendor/autoload.php';
 require_once PIWIK_INCLUDE_PATH . '/core/Loader.php';
 require_once PIWIK_INCLUDE_PATH . '/libs/upgradephp/upgrade.php';