PHP extension for debugging
