Merge "wfProfile fixes: 0543c7b0 added a wfProfileIn() that should have been wfProfi...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Mar 2013 17:01:59 +0000 (17:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Mar 2013 17:01:59 +0000 (17:01 +0000)
commit0c1bbecdc950c890ea7f4b2a294b18b02aaa9a4a
tree82762241032f695abb86e4b38cb845845d27a982
parent5131bbadd1a7b9a0ca21b6e0a5e2f96959f5400d
parentcebf04f33435eed4b042df3eb35bce0a7f7e219f
Merge "wfProfile fixes:  0543c7b0 added a wfProfileIn() that should have been wfProfileOut()  Reorder Http::request() so that wfProfileOut() is at the same level as the above wfProfileIn() [checked by check-vars]"