<?php
require("path/to/global.php");

print("<table><tr><td colspan=\"2\">Top Posters</td></tr>
<tr><td><b>Username</b></td><td><b>Posts</b></td></tr>");

$db_link = @mysql_pconnect("$dbservername", "$dbusername", "$dbpassword");
mysql_select_db ("$dbname", $db_link);

$query = mysql_query("SELECT posts, username FROM user ORDER BY user.posts DESC, user.username DESC LIMIT 0, 10");

while($row = mysql_fetch_array($query))
          {
          $username = $row["username"];
          $posts = $row["posts"];

          print("<tr><td>$username</td><td>$posts</td></tr>");
          }

print("</table>");

?>