Introduce DEFAULT_PHP_VERSION

This commit is contained in:
Daniel Winzen
2018-12-04 20:48:08 +01:00
parent 4e163a7e2d
commit ba71455ca5
2 changed files with 2 additions and 2 deletions

View File

@ -22,6 +22,7 @@ const ADMIN_PASSWORD='MY_PASSWORD'; //password for admin interface
const SERVICE_INSTANCES=['2', '3', '4', '5', '6', '7', 'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z'];
const DISABLED_PHP_VERSIONS=[];
const PHP_VERSIONS=[4 => '7.3'];
const DEFAULT_PHP_VERSION='7.3';
const PHP_CONFIG='memory_limit = 256M
error_reporting = E_ALL
post_max_size = 10G

View File

@ -147,10 +147,9 @@ echo '<tr><td>PHP version</td><td><select name="php">
<option value="0"';
echo (isset($_POST['php']) && $_POST['php']==0) ? ' selected' : '';
echo '>None</option>';
$default_version='7.2';
foreach(PHP_VERSIONS as $version){
echo "<option value=\"$version\"";
echo (isset($_POST['php']) && $_POST['php']===$version || (!isset($_POST['php']) && $version===$default_version)) ? ' selected' : '';
echo (isset($_POST['php']) && $_POST['php']===$version || (!isset($_POST['php']) && $version===DEFAULT_PHP_VERSION)) ? ' selected' : '';
echo ">PHP $version</option>";
}
echo '</select></td></tr>';