profiling table, for profiling live wikis

diff --git a/maintenance/archives/patch-profiling.sql b/maintenance/archives/patch-profiling.sql
new file mode 100644 (file)
index 0000000..ea9974c
--- /dev/null
+++ b/maintenance/archives/patch-profiling.sql
@@ -0,0 +1,10 @@
+-- profiling table
+-- This is optional
+
+CREATE TABLE profiling (
+       pf_count integer not null default 0,
+       pf_time float not null default 0,
+       pf_name varchar(255) not null default '',
+       UNIQUE KEY pf_name (pf_name)
+);
+