openapi: Fix principals array type.

We do not accept heterogeneous arrays containing both user ids and
email addresses.

This also happens to disallow an empty array, which is fine since the
principals parameter should be omitted if the default to the calling
user is desired.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-01-12 19:47:10 -08:00
committed by Tim Abbott
parent 78e54a0d7a
commit 19b470c260

View File

@@ -15431,11 +15431,13 @@ components:
content:
application/json:
schema:
type: array
items:
oneOf:
- type: string
- type: integer
oneOf:
- type: array
items:
type: string
- type: array
items:
type: integer
example: ["ZOE@zulip.com"]
ReactionType:
name: reaction_type