Fixes #2502: Unclear error message when `$_SERVER['DOCUMENT_ROOT']` is empty