Fix #3: Missing documentation on Tideways.php and how to disable auto prepend.
Fix #3: Missing documentation on Tideways.php and how to disable auto prepend.

krakjoe/php-profiler-extension,tideways/php-profiler-extension,krakjoe/php-profiler-extension,tideways/php-profiler-extension