Merge "Send the profiler output to the 'profileoutput' log group"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 31 Mar 2014 16:16:22 +0000 (16:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 31 Mar 2014 16:16:22 +0000 (16:16 +0000)
commitd57c885d0b94082da461e742fde4e9167486cbb2
tree3b29841f4dd913c73bbf925982a24cd4cbc2d734
parented8668b9259c3b1afca231556faadce98095920c
parentd966a5266f052bd032ed5c833c2b233c284b28f3
Merge "Send the profiler output to the 'profileoutput' log group"
RELEASE-NOTES-1.23
includes/DefaultSettings.php