* Fix annoying blue line in Safari on scaled-down images on description page

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

-- 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)
);