Jak uzyskać wartość atrybutu z pliku XML w PHP?

Przepraszam, jeśli to wydaje się łatwe pytanie, ale zacząłem wyciągać włosy z tego ...

Mam plik XML, który wygląda tak ...

<VAR VarNum="90">
  <option>1</option>
</VAR>

Próbuję zdobyćVarNum.

Do tej pory udało mi się użyć następującego kodu, aby uzyskać inne informacje:

$xml=simplexml_load_file($file);
$option=$xml->option;

Po prostu nie mogę dostać VarNum (myślę o wartości atrybutu?)

Dzięki!

questionAnswers(3)

yourAnswerToTheQuestion