Added PHP options.