diff options
author | Andreas Gohr <andi@splitbrain.org> | 2014-10-14 21:32:54 +0200 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2014-10-14 21:33:23 +0200 |
commit | 001d05eda158fd1c33cd0e6580a28241af69226c (patch) | |
tree | da96776956dcd84e84479cecd68697627f7b518f | |
parent | a117575958a2948153ad101494db71e5626fd9b9 (diff) | |
download | rpg-001d05eda158fd1c33cd0e6580a28241af69226c.tar.gz rpg-001d05eda158fd1c33cd0e6580a28241af69226c.tar.bz2 |
new PHP minimum requirement is now 5.3.3
that's the version in Debian old stable
-rw-r--r-- | inc/infoutils.php | 6 | ||||
-rw-r--r-- | install.php | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/inc/infoutils.php b/inc/infoutils.php index 8fe344093..06e03e90f 100644 --- a/inc/infoutils.php +++ b/inc/infoutils.php @@ -114,13 +114,13 @@ function check(){ if ($INFO['isadmin'] || $INFO['ismanager']){ msg('DokuWiki version: '.getVersion(),1); - if(version_compare(phpversion(),'5.2.0','<')){ - msg('Your PHP version is too old ('.phpversion().' vs. 5.2.0+ needed)',-1); + if(version_compare(phpversion(),'5.3.3','<')){ + msg('Your PHP version is too old ('.phpversion().' vs. 5.3.3+ needed)',-1); }else{ msg('PHP version '.phpversion(),1); } } else { - if(version_compare(phpversion(),'5.2.0','<')){ + if(version_compare(phpversion(),'5.3.3','<')){ msg('Your PHP version is too old',-1); } } diff --git a/install.php b/install.php index c8bc68ef9..d13a5eaab 100644 --- a/install.php +++ b/install.php @@ -538,8 +538,8 @@ function check_functions(){ global $lang; $ok = true; - if(version_compare(phpversion(),'5.2.0','<')){ - $error[] = sprintf($lang['i_phpver'],phpversion(),'5.2.0'); + if(version_compare(phpversion(),'5.3.3','<')){ + $error[] = sprintf($lang['i_phpver'],phpversion(),'5.3.3'); $ok = false; } |