Check if updating XMLschema is necessary.
Check if updating XMLschema is necessary.

PiperOrigin-RevId: 481105158
Change-Id: I7b5199e595a73a4d988d90dee40a8cd759f86218

deepmind/mujoco,deepmind/mujoco,deepmind/mujoco,deepmind/mujoco,deepmind/mujoco