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 /inc/infoutils.php | |
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
Diffstat (limited to 'inc/infoutils.php')
-rw-r--r-- | inc/infoutils.php | 6 |
1 files changed, 3 insertions, 3 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); } } |