Add plugins list to mjSpec Python API.

Fixes #2061. PiperOrigin-RevId: 677762985 Change-Id: I8e407373e7b505d9b0f1c023e97c5ea92169bbf6
2024-09-23 06:12:42 -07:00
parent 91cedfd65c
commit 0ba11b9623
18 changed files with 127 additions and 44 deletions
@@ -4432,6 +4432,15 @@ mjs_asMaterial

 Safely cast an element as mjsMaterial, or return NULL if the element is not an mjsMaterial.

+.. _mjs_asPlugin:
+
+mjs_asPlugin
+~~~~~~~~~~~~
+
+.. mujoco-include:: mjs_asPlugin
+
+Safely cast an element as mjsPlugin, or return NULL if the element is not an mjsPlugin.
+
 .. _AttributeSetters:

 Attribute setters