Merge "profiler: Support tideways for PHP7 profiling"