Minor formatting to match tables.sql

diff --git a/maintenance/archives/patch-profiling.sql b/maintenance/archives/patch-profiling.sql
index 49b488e..bafd2b6 100644 (file)
--- a/maintenance/archives/patch-profiling.sql
+++ b/maintenance/archives/patch-profiling.sql
@@ -2,9 +2,9 @@
 -- This is optional
 
 CREATE TABLE /*$wgDBprefix*/profiling (
-       pf_count integer not null default 0,
-       pf_time float not null default 0,
-       pf_name varchar(255) not null default '',
-       pf_server varchar(30) not null default '',
-       UNIQUE KEY pf_name_server (pf_name, pf_server)
+  pf_count int NOT NULL default 0,
+  pf_time float NOT NULL default 0,
+  pf_name varchar(255) NOT NULL default '',
+  pf_server varchar(30) NOT NULL default '',
+  UNIQUE KEY pf_name_server (pf_name, pf_server)
 ) TYPE=HEAP;