From 7703f8f90b632fc89357c6f96b7d16e557a0b4e5 Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Sun, 30 Jul 2006 23:36:14 +0000
Subject: [PATCH] Add profiling table.

---
 maintenance/postgres/tables.sql | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/maintenance/postgres/tables.sql b/maintenance/postgres/tables.sql
index dcc0273ce5..808fcf60ff 100644
--- a/maintenance/postgres/tables.sql
+++ b/maintenance/postgres/tables.sql
@@ -441,6 +441,16 @@ $mw$
   SELECT 1;
 $mw$;
 
+-- This table is not used unless profiling is turned on
+CREATE TABLE profiling (
+  pf_count   INTEGER         NOT NULL DEFAULT 0,
+  pf_time    NUMERIC(18,10)  NOT NULL DEFAULT 0,
+  pf_name    TEXT            NOT NULL,
+  pf_server  TEXT            NOT NULL
+);
+CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server);
+
+
 CREATE TABLE mediawiki_version (
   type         TEXT         NOT NULL,
   mw_version   TEXT         NOT NULL,
-- 
2.20.1