Render a php config file lsiting the IPs of redis cache servers.