diff options
author | Aleksander Machniak <alec@alec.pl> | 2014-03-22 12:56:49 +0100 |
---|---|---|
committer | Aleksander Machniak <alec@alec.pl> | 2014-03-22 12:56:49 +0100 |
commit | 8cc567c00423a343f3b785ee4dd856111b985fe7 (patch) | |
tree | 917a321de4aafdf6c1dbe0b7c498496212651139 /installer/check.php | |
parent | 08da302af04f118bf3d43029b7e0d5d8b9bf9901 (diff) |
Drop support for PHP < 5.3.7
Diffstat (limited to 'installer/check.php')
-rw-r--r-- | installer/check.php | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/installer/check.php b/installer/check.php index ee0c9f367..d4c3f6685 100644 --- a/installer/check.php +++ b/installer/check.php @@ -83,7 +83,7 @@ echo '<input type="hidden" name="_step" value="' . ($RCI->configured ? 3 : 2) . <h3>Checking PHP version</h3> <?php -define('MIN_PHP_VERSION', '5.2.1'); +define('MIN_PHP_VERSION', '5.3.7'); if (version_compare(PHP_VERSION, MIN_PHP_VERSION, '>=')) { $RCI->pass('Version', 'PHP ' . PHP_VERSION . ' detected'); } else { @@ -138,14 +138,8 @@ foreach ($optional_php_exts as $name => $ext) { $prefix = (PHP_SHLIB_SUFFIX === 'dll') ? 'php_' : ''; foreach ($RCI->supported_dbs as $database => $ext) { if (extension_loaded($ext)) { - // MySQL driver requires PHP >= 5.3 (#1488875) - if ($ext == 'pdo_mysql' && version_compare(PHP_VERSION, '5.3.0', '<')) { - $RCI->fail($database, 'PHP >= 5.3 required', null, true); - } - else { - $RCI->pass($database); - $found_db_driver = true; - } + $RCI->pass($database); + $found_db_driver = true; } else { $_ext = $ext_dir . '/' . $prefix . $ext . '.' . PHP_SHLIB_SUFFIX; |