Requiert PHP 5.2+

FreshRSS utilise des fonctions apparues avec PHP 5.2 (comme
json_decode).
Il serait bien de mettre un message conseillant 5.3.3+

1 files changed, 1 insertions, 1 deletions

diff --git a/public/install.php b/public/install.php
index 2e6519bf8..20ced82a5 100644
--- a/public/install.php
+++ b/public/install.php
@@ -267,7 +267,7 @@ function checkStep0 () {
 	);
 }
 function checkStep1 () {
-	$php = version_compare (PHP_VERSION, '5.1.0') >= 0;
+	$php = version_compare (PHP_VERSION, '5.2.0') >= 0;
 	$minz = file_exists (LIB_PATH . '/minz');
 	$curl = extension_loaded ('curl');
 	$pdo = extension_loaded ('pdo_mysql');