diff options
Diffstat (limited to 'config.php-dist')
-rw-r--r-- | config.php-dist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.php-dist b/config.php-dist index 1694059d5..4bcfc31ba 100644 --- a/config.php-dist +++ b/config.php-dist @@ -184,7 +184,10 @@ // Selectively gzip output to improve wire performance. This requires // PHP Zlib extension on the server. - define('CONFIG_VERSION', 16); + define('PHP_EXECUTABLE', '/usr/bin/php'); + // Path to PHP executable + + define('CONFIG_VERSION', 17); // Expected config version. Please update this option in config.php // if necessary (after migrating all new options from this file). |