fixing MessagingFilter WebIDL