Add PHP options