Revert PHP recipe for now.