if (isset($_SERVER['HTTP_X_FORWARDED_PREFIX'])) {
    $_SERVER['REQUEST_URI'] = $_SERVER['HTTP_X_FORWARDED_PREFIX'] . $_SERVER['REQUEST_URI'];
}