filename); } } // Delete the badges directory. if (file_exists($dir)) { rmdir($dir); } // Remove database tables. db_query("DROP TABLE {user_badges_badges}"); db_query("DROP TABLE {user_badges_roles}"); db_query("DROP TABLE {user_badges_user}"); db_query("DROP TABLE {user_badges_product}"); }