update user_agents.php: add win7