diff options
| author | 2022-11-14 15:02:44 +0100 | |
|---|---|---|
| committer | 2022-11-14 15:02:44 +0100 | |
| commit | 570503b7f12df7d12af29905da97131b032c7da0 (patch) | |
| tree | 0bc4f9a8761e96dc1ebe79f04533a4dbb568349e /constants.php | |
| parent | acf459429b128053ef70934d3152f4b211a14396 (diff) | |
Require PHP 7.2+ (#4848)
Drop PHP 7.0- as planned https://github.com/FreshRSS/FreshRSS/discussions/3321#discussioncomment-835704
Diffstat (limited to 'constants.php')
| -rw-r--r-- | constants.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/constants.php b/constants.php index 06212fc39..1e4a4e03a 100644 --- a/constants.php +++ b/constants.php @@ -2,7 +2,7 @@ //NB: Do not edit; use ./constants.local.php instead. //<Not customisable> -define('FRESHRSS_MIN_PHP_VERSION', '7.0.0'); +define('FRESHRSS_MIN_PHP_VERSION', '7.2.0'); define('FRESHRSS_VERSION', '1.21.0-dev'); define('FRESHRSS_WEBSITE', 'https://freshrss.org'); define('FRESHRSS_WIKI', 'https://freshrss.github.io/FreshRSS/'); |
