Some changes about php platform

It's nested in `options`.