fixing MessagingFilter WebIDL (2)