Updated NEWS for fixed phpdbg issue #85