MDL-45041 Web Service: add_user_device doesn't store entries for different users using the same push key