Public Git Hosting - mediawiki.git/commit

commit	52f3b13312e2d261f748f4f28577deaf8e197e6f
author	Chad Horohoe <chadh@wikimedia.org>
	Thu, 4 Dec 2014 03:48:27 +0000 (3 19:48 -0800)
committer	Chad Horohoe <chadh@wikimedia.org>
	Thu, 4 Dec 2014 04:19:56 +0000 (3 20:19 -0800)
tree	c552f32435a1eb8615f2e73d19eb9f6d7b033e42	tree \| snapshot (tar.gz zip)
parent	30e009794bacc2e3138c372e6ddf876dca2d4a9c	commit \| diff

Remove Profiler::isStub()

Just check for ProfilerStub directly.

Change-Id: I503916599f182df4206da5282193ae6ec9324ee6

MediaWiki Core

includes/GlobalFunctions.php		diff \| blob \| blame \| history
includes/db/Database.php		diff \| blob \| blame \| history
includes/profiler/Profiler.php		diff \| blob \| blame \| history
includes/profiler/ProfilerStandard.php		diff \| blob \| blame \| history
includes/profiler/ProfilerStub.php		diff \| blob \| blame \| history
includes/profiler/ProfilerXhprof.php		diff \| blob \| blame \| history