Merge "Make Profiler::$instance private and drop double underscores"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Feb 2015 21:32:08 +0000 (21:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Feb 2015 21:32:08 +0000 (21:32 +0000)
commit1519e183d6b8f91a82763fd7030490e86b630dd5
tree26d38f46d4efa8dda0dbbfec83ad8a9a6e3d1db0
parent2b547c4eea1615b2db985eb4bcbfa73aab0ccc39
parentef621e06eb1bb598b3b6dba4e06e377d9fe1cce0
Merge "Make Profiler::$instance private and drop double underscores"