I have no idea what the second php entry is for, considering it has different options set than the first one and appears to have no influence.
Thank you for noticing. We were improving PHP editor in the previous update, this might be some related issue. Let us investigate and get back to you.
investigated, fixed 🙂 will be available in the next-next update