Так что пока (согласно предложению @ mario) я делаю,
$requestLine = $_SERVER['REQUEST_METHOD']
. ' ' . $_SERVER['REQUEST_URI']
. ' ' . $_SERVER['SERVER_PROTOCOL'];
, который, кажется, работает нормально.
Если у кого-нибудь есть альтернативное решение, которое получит точную строку, я приму его вместо этого, но в противном случае этого должно быть достаточно.