function print_html_form($servers_list)
{
echo <<<END
<h1>Choose an xmlrpc server to run interop tests against <i>live!</i></h1>
END;
print_servers_form($servers_list);
echo <<<END
<p>
<i>if you know of any other servers that support interop tests, please send a note to
<a href='mailto:xmlrpc-epi-devel@lists.sourceforge.net'>xmlrpc-epi-devel@lists.sourceforge.net</a>
and we will add it to the list</i>.
END;
}
function print_html_form($servers_list)
{
echo <<<END
<h1>Choose an xmlrpc wiki server to run tests against</h1>
END;
print_servers_form($servers_list);
}
