if (CONFIG_VERSION != EXPECTED_CONFIG_VERSION) {
$err_msg = "Configuration file (config.php) has incorrect version. Update it with new options from config.php-dist and set CONFIG_VERSION to the correct value.";
}
if (CONFIG_VERSION != EXPECTED_CONFIG_VERSION) {
$err_msg = "Configuration file (config.php) has incorrect version. Update it with new options from config.php-dist and set CONFIG_VERSION to the correct value.";
}