(bug 12998) Weaken DISPLAYTITLE restictions (patch by 'rememberthedot@gmail.com')

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

ALTER TABLE /*$wgDBprefix*/profiling
  ADD pf_memory float NOT NULL default 0;