Don't need to set time limit here, already did in setup(), memory_limit still needs...

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

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