Opps :(

diff --git a/inc/extensions/ext-sql_patches.php b/inc/extensions/ext-sql_patches.php
index e495e91c0351543051b9fb4b5cc900edc043f090..72fa99753d0fe7413bb5e9c8efb3b14fa34c0c8c 100644 (file)
--- a/inc/extensions/ext-sql_patches.php
+++ b/inc/extensions/ext-sql_patches.php
@@ -940,7 +940,7 @@ INDEX (`history_last_used` DESC)",
 `server_name_id` BIGINT (20) NOT NULL AUTO_INCREMENT,
 `server_name` VARCHAR (255) NOT NULL DEFAULT 'invalid',
 `server_name_added` TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP,
-PRIMARY_KEY (`server_name_id`)
+PRIMARY KEY (`server_name_id`)
 ", 'Logging of wrong SERVER_NAME');
 
                                // Update notes (these will be set as task text!)