This is the identity page for users of this server. '); function idpage_render($identity) { $body = sprintf(idpage_pat, buildURL()); return array(array(), $body); } ?>