Today's PHP security release, and how we're strengthening security