Xdebug

Support for PHP 7.2

• Fixes for variable resolution

• switch optimisation

Support for PHP 5 dropped

Smaller new features:

• Memory profiling

• Garbage Collection Statistics

• Formatting filenames