diff --git a/xml/api/options-2.36.rng b/xml/api/options-2.36.rng index 94d3aad268..280e3984b2 100644 --- a/xml/api/options-2.36.rng +++ b/xml/api/options-2.36.rng @@ -1,37 +1,46 @@ - + + duration + epoch_time + nonnegative_integer percentage + port + score + timeout + version + + time