$value) { $config['platforms'][$platform_id][$key] = $value; // search pattern for the old value $oldValue = "/('$platform_id'\s*=>\s*\[\s*'$key'\s*=>\s*)'[^']*'/"; // new value $newValue = "$1'$value'"; $updatedContent = preg_replace($oldValue, $newValue, $updatedContent); } // check if file is writable if (!is_writable($config_file)) { $_SESSION['error'] = getError('Configuration file is not writable.'); header("Location: $app_root?platform=$platform_id&page=config"); exit(); } // try to update the config file if (file_put_contents($config_file, $updatedContent) !== false) { // update successful $_SESSION['notice'] = "Configuration for {$_POST['name']} is updated."; } else { // unsuccessful $error = error_get_last(); $_SESSION['error'] = getError('Error updating the config: ' . ($error['message'] ?? 'unknown error')); } // FIXME the new file is not loaded on first page load unset($config); header("Location: $app_root?platform=$platform_id&page=config"); exit(); // no form submitted, show the templates } else { switch ($action) { case 'edit': include('../app/templates/config-edit-platform.php'); break; default: include('../app/templates/config-list.php'); } } ?>