This is the identity page for users of this server. '); function idpage_render($identity) { $xrdsurl = buildURL('userXrds')."?user=".urlencode($identity); $headers = array( 'X-XRDS-Location: '.$xrdsurl); $body = sprintf(idpage_pat, $xrdsurl, buildURL()); return array($headers, $body); } ?>