Change all the PHP code to use _mysql_query() instead of mysql_query()
(and similar for other functions).
_mysql_query() uses the mysqli API if available, else the old API.
Going forward, all PHP code should the DB abstration layer if possible;
else it should use the _mysql_* functions.
had set forum_preferences.special_user to "0000000",
as had been done in SETI@home for some reason.
Also, show user ID as well as name; name is not unique.
svn path=/trunk/boinc/; revision=21143
David Anderson