bugfix: web/index.php: fixed bug where full directory index would not display correctly if invoked as /index.php instead of / (caused by incorrect URL)