Add PHP instructions