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;
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  Fix bug #67587: Redirection loop on nginx with FPM