Profiler: remove unnecessary checks
authorKevin Israel <pleasestand@live.com>
Fri, 23 Aug 2013 07:11:14 +0000 (03:11 -0400)
committerAaron Schulz <aschulz@wikimedia.org>
Sun, 25 Aug 2013 22:46:55 +0000 (22:46 +0000)
commit0643e83df7453ea9e2fd09984e85d11a4c8c7270
treeb3489fb456cd55b7df24ba7d4a6955f6fe0d71e1
parente946df9c12ae319fe061acae94adfafc0f926121
Profiler: remove unnecessary checks
Should slightly reduce overhead.

Change-Id: Iff71041f1cbc12b0d28f24752a01c63456cb9eaf
includes/profiler/Profiler.php