From: jenkins-bot Date: Thu, 17 Dec 2015 22:18:28 +0000 (+0000) Subject: Merge "Expand MediaWiki::main() $wgTrxProfilerLimits logging" X-Git-Tag: 1.31.0-rc.0~8641 X-Git-Url: http://git.cyclocoop.org/%7B%24admin_url%7Dcompta/comptes/journal.php?a=commitdiff_plain;h=acea1093988ee97d22e5e6aeaaf686e22bd49e4d;p=lhc%2Fweb%2Fwiklou.git Merge "Expand MediaWiki::main() $wgTrxProfilerLimits logging" --- acea1093988ee97d22e5e6aeaaf686e22bd49e4d