Rename <required> tag to <plugin>.

saran-t · copybara-github · commit cc7477023c91 · 2023-02-13T08:41:44.000-08:00
PiperOrigin-RevId: 509237786
Change-Id: Ie04d0707ea8e65ed7e6293c66fc6ca1c842e52c8
diff --git a/dm_control/mjcf/schema.xml b/dm_control/mjcf/schema.xml
@@ -788,7 +788,7 @@
     </element>
     <element name="extension">
       <children>
-        <element name="required" repeated="true" namespace="plugin">
+        <element name="plugin" repeated="true" namespace="plugin">
           <attributes>
             <attribute name="plugin" type="string" required="true"/>
           </attributes>
diff --git a/dm_control/mujoco/engine_test.py b/dm_control/mujoco/engine_test.py
@@ -388,7 +388,7 @@ def testSetGetPhysicsStateWithPlugin(self):
     <mujoco>
       <option gravity="0 0 0"/>
       <extension>
-        <required plugin="mujoco.elasticity.cable"/>
+        <plugin plugin="mujoco.elasticity.cable"/>
       </extension>
       <worldbody>
         <geom type="plane" size="0 0 1" quat="1 0 0 0"/>
