Note recent PG changes.
[mediawiki.git] / maintenance / archives / patch-profiling.sql
blobbafd2b67ae5e19a164c00569a51400baed425d16
1 -- profiling table
2 -- This is optional
4 CREATE TABLE /*$wgDBprefix*/profiling (
5   pf_count int NOT NULL default 0,
6   pf_time float NOT NULL default 0,
7   pf_name varchar(255) NOT NULL default '',
8   pf_server varchar(30) NOT NULL default '',
9   UNIQUE KEY pf_name_server (pf_name, pf_server)
10 ) TYPE=HEAP;