Drop support for PHP < 5.3.7

Aleksander Machniak

2014-03-22 8cc567c00423a343f3b785ee4dd856111b985fe7

 installer/check.php

@@ -83,7 +83,7 @@
<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 @@
$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;