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). diff --git a/sanity_check.php b/sanity_check.php index 41fdf983a..383edab4c 100644 --- a/sanity_check.php +++ b/sanity_check.php @@ -1,7 +1,7 @@