Add WebIDL