Reading XML short notation value with PHP

data.xml:

<users>
 <user name="test">
  <option name="enabled">1</option>
  <option name="setting">on</option>
 </user>
</users>

How do I get the value "1" with PHP out of that xml file?

Thanks.