Merge "mediawiki.page.watch.ajax: Fail early if updateWatchLink is called wrong"
[lhc/web/wiklou.git] / maintenance / archives / patch-profiling-memory.sql
1 ALTER TABLE /*$wgDBprefix*/profiling
2 ADD pf_memory float NOT NULL default 0;