diff options
| author | Andrew Dolgov <[email protected]> | 2009-01-18 11:26:43 +0100 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2009-01-18 11:26:43 +0100 |
| commit | bd6576f8ff3355a32f2868862cf285e19ef63cb2 (patch) | |
| tree | 91032dd949a48a9c65685182f7f58bd7d7549f8e | |
| parent | 898e85628b8774b81f241004e440a3d754b111af (diff) | |
bump config version (because GLOBAL_ENABLE_LABELS was removed)
| -rw-r--r-- | config.php-dist | 2 | ||||
| -rw-r--r-- | sanity_check.php | 2 |
2 files changed, 2 insertions, 2 deletions
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 @@ <?php require_once "functions.php"; - define('EXPECTED_CONFIG_VERSION', 17); + define('EXPECTED_CONFIG_VERSION', 18); define('SCHEMA_VERSION', 51); if (!file_exists("config.php")) { |