Remove Profiler::isStub()
authorChad Horohoe <chadh@wikimedia.org>
Thu, 4 Dec 2014 03:48:27 +0000 (19:48 -0800)
committerChad Horohoe <chadh@wikimedia.org>
Thu, 4 Dec 2014 04:19:56 +0000 (20:19 -0800)
commit52f3b13312e2d261f748f4f28577deaf8e197e6f
treec552f32435a1eb8615f2e73d19eb9f6d7b033e42
parent30e009794bacc2e3138c372e6ddf876dca2d4a9c
Remove Profiler::isStub()

Just check for ProfilerStub directly.

Change-Id: I503916599f182df4206da5282193ae6ec9324ee6
includes/GlobalFunctions.php
includes/db/Database.php
includes/profiler/Profiler.php
includes/profiler/ProfilerStandard.php
includes/profiler/ProfilerStub.php
includes/profiler/ProfilerXhprof.php