Fix php configuration bugs.

[merge]