Update definitions.Debug.php