How can I get the current page’s full URL on a Windows/IIS server?

Maybe, because you are under IIS,

$_SERVER['PATH_INFO']

is what you want, based on the URLs you used to explain.

For Apache, you’d use $_SERVER['REQUEST_URI'].