bump config version (because GLOBAL_ENABLE_LABELS was removed)

diff --git a/config.php-dist b/config.php-dist
index 81d04d0b718cf6dd31bc2963cee404d081e43bb1..b06ee2b5b40e462de4306da60d9f50d89e6fc3ea 100644 (file)
--- 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 b9c8c333fc02e018e99ea4615e428bf909fe2168..48c98fa2c96ef1ef116852973f5eeaa02339bf9e 100644 (file)
--- a/sanity_check.php
+++ b/sanity_check.php
@@ -1,7 +1,7 @@
 <?php
        require_once "functions.php";
 
-       define('EXPECTED_CONFIG_VERSION', 17);
+       define('EXPECTED_CONFIG_VERSION', 18);
        define('SCHEMA_VERSION', 51);
 
        if (!file_exists("config.php")) {