mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
d3d1ffb456
When I committed 5cdd1dd736, the web
server appeared to prefer loading the `index.php` file over `index.html`
when requesting `/license/ZendGrant/`. I left `index.html` in place
because there were direct links to it from around the web, and I didn't
want those links to end at 404 pages, so I set it up to redirect to the
cleaner `/license/ZendGrant/` URL, thinking `index.php` would load every
time.
Now, the web server appears to prefer `index.html` over `index.php`, so
landing on this page, either from `/license/ZendGrant/` or
`/license/ZendGrant/index.html` results in an endless redirection loop.
The easy solution is to make `index.html` redirect directly to
`/license/ZendGrant/index.php` instead.
