Avoid sending duplicate ProfilerOutputText comments/html
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 13 Mar 2019 17:27:38 +0000 (10:27 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 13 Mar 2019 17:27:38 +0000 (10:27 -0700)
commit58ee03b13d32b96d86aaf905fdfa8ac14241a5cc
tree7fac1140dbaa6c9fdfc943b6030ae0c6b2374006
parentfe3a04748bfa37a43872b8fff83565d37074807f
Avoid sending duplicate ProfilerOutputText comments/html

Change-Id: I4130845cdb7208b8456740e5dbaf8bf96e175f49
includes/profiler/Profiler.php
includes/profiler/output/ProfilerOutput.php
includes/profiler/output/ProfilerOutputText.php