php/php-src — pull request #712 by cweiske (2014-07-08 17:04:21+00:00)
Title: Fix bug #67587: Redirection loop on nginx with FPM

Redirection will work correctly as long as PATH_INFO is available,
e.g. via the following nginx configuration:

set $path_info $fastcgi_path_info;
fastcgi_param PATH_INFO $path_info;