getServerURL(); header('Content-Type: application/xrds+xml'); echo('' . "\n"); echo(''); echo(''); echo(''); foreach ($serviceTypes as $t) { echo('' . htmlspecialchars($t) . ''); } echo('' . htmlspecialchars($serverURL) . ''); if ($user !== NULL) { $localId = SimpleSAML_Module::getModuleURL('openidProvider/user.php') . '/' . $user; echo('' . htmlspecialchars($localId) . ''); } echo(''); echo(''); echo('');