Merge "Whitelist the <wbr> element."
[mediawiki.git] / maintenance / archives / patch-profiling.sql
blob0a0e4e1a58f73bb666c9473de41cd557cec83c3a
1 -- profiling table
2 -- This is optional
4 CREATE TABLE /*_*/profiling (
5   pf_count int NOT NULL default 0,
6   pf_time float NOT NULL default 0,
7   pf_memory float NOT NULL default 0,
8   pf_name varchar(255) NOT NULL default '',
9   pf_server varchar(30) NOT NULL default ''
10 ) ENGINE=HEAP;
12 CREATE UNIQUE INDEX /*i*/pf_name_server ON /*_*/profiling (pf_name, pf_server);