A PHP Extension to help debugging a PHP script