secure.php.net redirect omits slash to separate domain and path

[cngJo]

Affected Page URL

https://secure.php.net/

Describe the bug

The redirect that redirects secure.php.net to php.net removes any "/" after php.net which breaks all redirects that include paths on secure.php.net.
This happens e.g. for the "!php" bank for DuckDuckGo, which seem to use "https://secure.php.net/manual-lookup.php?pattern={{{s}}}" under the hood.

Steps to reproduce

1. curl -v --head https://secure.php.net/manual-lookup.php?pattern=explode
2. Check "Location" header
3. -> https://www.php.netmanual-lookup.php?pattern=explode (missing a / after php.net)

Expected behavior

The returned location header in the redirect response should keep the "/", in the above example, that would be https://www.php.net/manual-lookup.php?pattern=explode

Screenshots

Seemingly the bang "!php" configuration for DuckDuckGo

(partial) curl response from my local machine for curl -v --head https://secure.php.net/manual-lookup.php?pattern=explode

Additional context

I'm not sure if this is the right place to report this, if not, please "redirect" me to the proper place :)

Right after the creation of this issue, I'll fill out the above form on DuckDuckGo to ask them to change the bang source to https://www.php.net/manual-lookup.php?pattern={{{s}}} referencing this issue, since this is where the secure.php.net redirect wants to redirect me to.

[cngJo]

For transparency, full message I sent to DDG on https://duckduckgo.com/newbang

(email hidden on purpose)