MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-profiling.sql

diff --git a/maintenance/archives/patch-profiling.sql b/maintenance/archives/patch-profiling.sql
index 1b22778b5b2673dde28e766fe52882999ebf1de4..6ad1622426ece82e1ae927801b22d0d47188f581 100644 (file)
--- a/maintenance/archives/patch-profiling.sql
+++ b/maintenance/archives/patch-profiling.sql
@@ -1,10 +1,12 @@
 -- profiling table
 -- 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 '',
-       UNIQUE KEY pf_name (pf_name)
-);
-       
+CREATE TABLE /*_*/profiling (
+  pf_count int NOT NULL default 0,
+  pf_time float NOT NULL default 0,
+  pf_memory float NOT NULL default 0,
+  pf_name varchar(255) NOT NULL default '',
+  pf_server varchar(30) NOT NULL default ''
+) ENGINE=MEMORY;
+
+CREATE UNIQUE INDEX /*i*/pf_name_server ON /*_*/profiling (pf_name, pf_server);
\ No newline at end of file