diff --git a/config.php-dist b/config.php-dist index 81d04d0b7..b06ee2b5b 100644 --- a/config.php-dist +++ b/config.php-dist @@ -184,7 +184,7 @@ define('PHP_EXECUTABLE', '/usr/bin/php'); // Path to PHP executable - define('CONFIG_VERSION', 17); + define('CONFIG_VERSION', 18); // 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 b9c8c333f..48c98fa2c 100644 --- a/sanity_check.php +++ b/sanity_check.php @@ -1,7 +1,7 @@