Merge "Made profileIn/profileOut methods a no-op"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Jan 2015 19:45:30 +0000 (19:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Jan 2015 19:45:30 +0000 (19:45 +0000)
commit812fb5f5bdc07ec203bbb5d1c7ca5350355f7c4b
treea36e2265958c22062ded63222030ad7d5c47def9
parent2ae155da529023280de74d9caffa7a32e7934082
parent4236b9beb63bffbd3d60d482b99913399ab4992d
Merge "Made profileIn/profileOut methods a no-op"
includes/profiler/ProfilerXhprof.php