mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-04-20 04:32:01 +02:00
Code Issues Releases Wiki Activity

Merge pull request #3510 from Jimmi08/patch-8

Browse Source 
display correct version in message - Optimise PHP version check for G…
This commit is contained in:
Tijn Kuyper 2018-10-18 19:53:23 +02:00 committed by GitHub
commit 0f272841bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
e107_admin/db.php
View File

@ -338,7 +338,7 @@ class system_tools
if(version_compare(PHP_VERSION, $min_php_version, "<"))
{
$mes->addWarning("The minimum required PHP version is <strong>".$min_php_version."</strong>. You are using PHP version <strong>".$php_version."</strong>. <br /> Syncing with Github has been disabled to avoid broken fuctionality."); // No nee to translate, developer mode only
$mes->addWarning("The minimum required PHP version is <strong>".$min_php_version."</strong>. You are using PHP version <strong>".PHP_VERSION."</strong>. <br /> Syncing with Github has been disabled to avoid broken fuctionality."); // No nee to translate, developer mode only
}
else
{