Issue #3223280: settings.php is too late to set $_SERVER['REMOTE_ADDR'] using a CDN's client IP header