diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/postgres/archives/patch-profiling.sql | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/postgres/archives/patch-profiling.sql')
| -rw-r--r-- | maintenance/postgres/archives/patch-profiling.sql | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/maintenance/postgres/archives/patch-profiling.sql b/maintenance/postgres/archives/patch-profiling.sql new file mode 100644 index 00000000..1c4dce4e --- /dev/null +++ b/maintenance/postgres/archives/patch-profiling.sql @@ -0,0 +1,7 @@ +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 NULL +); +CREATE UNIQUE INDEX pf_name_server ON profiling (pf_name, pf_server); |