set required PHP release to 5.1.2

Ignore-this: 5dd4f31786cfa624b5e54b4c19060003

darcs-hash:20091026115305-6e07b-b48459f3dcaa70898f799cd0e843997265af8fb9.gz

inc/infoutils.php

@@ -81,8 +81,8 @@ function check(){
 
     msg('DokuWiki version: '.getVersion(),1);
 
-    if(version_compare(phpversion(),'5.0.0','<')){
-        msg('Your PHP version is too old ('.phpversion().' vs. 5.0.0+ recommended)',-1);
+    if(version_compare(phpversion(),'5.1.2','<')){
+        msg('Your PHP version is too old ('.phpversion().' vs. 5.1.2+ needed)',-1);
     }else{
         msg('PHP version '.phpversion(),1);
     }

install.php

@@ -423,8 +423,8 @@ function check_functions(){
     global $lang;
     $ok = true;
 
-    if(version_compare(phpversion(),'5.0.0','<')){
-        $error[] = sprintf($lang['i_phpver'],phpversion(),'5.0.0');
+    if(version_compare(phpversion(),'5.1.2','<')){
+        $error[] = sprintf($lang['i_phpver'],phpversion(),'5.1.2');
         $ok = false;
     }