Add: user.php: platform "Internet Explorer"