Merge "Remove Profiler::isStub()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Dec 2014 07:42:27 +0000 (07:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Dec 2014 07:42:27 +0000 (07:42 +0000)
commit0add9d5ba726b901cb434d5a07519e59d375d0ef
tree8fc2fa835553d5cea6318b8d4f3a445246d589bd
parent9946d66d460f2cc3a674fc7b73718b5b1e0513e3
parent52f3b13312e2d261f748f4f28577deaf8e197e6f
Merge "Remove Profiler::isStub()"
includes/profiler/ProfilerXhprof.php