bump config version (because GLOBAL_ENABLE_LABELS was removed)

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).
 

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")) {