Only configure the transaction profiler if profiling is enabled
authorOri Livneh <ori@wikimedia.org>
Thu, 7 May 2015 00:45:48 +0000 (17:45 -0700)
committerOri Livneh <ori@wikimedia.org>
Thu, 7 May 2015 00:45:48 +0000 (17:45 -0700)
commit03d941ed42d442fdd6b395ef29925957d02ba88d
tree331718f3180bd345f14173926115b69d174f7933
parent2b11da9a1c17e6d2a6f8fd361569f027ae6d1ddb
Only configure the transaction profiler if profiling is enabled

Follows I0fe14bcda.

Change-Id: I4eb77d3b5ead587da6f01dec00fa6c5852225fcc
maintenance/Maintenance.php