Merge "Expand MediaWiki::main() $wgTrxProfilerLimits logging"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Dec 2015 22:18:28 +0000 (22:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Dec 2015 22:18:28 +0000 (22:18 +0000)
commitacea1093988ee97d22e5e6aeaaf686e22bd49e4d
treeaab979b4304913a6d10981e0db06ac8b80a0275c
parent4618f70793d1178ca4c646ef397cf17b1cc70b44
parentec12adf649b522ea0bbf72833cd109f9c5377302
Merge "Expand MediaWiki::main() $wgTrxProfilerLimits logging"