Release v1.7.2
Release v1.7.2

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