Como obter o valor de um atributo do arquivo XML no PHP?

Desculpe se isso parece uma pergunta fácil, mas eu comecei a puxar o cabelo para fora ...

Eu tenho um arquivo XML que se parece com isso ...

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

Estou tentando pegar oVarnum.

Até agora eu fui bem sucedido usando o código a seguir para obter as outras informações:

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

Eu simplesmente não consigo pegar VarNum (o valor do atributo eu acho?)

Obrigado!

questionAnswers(3)

yourAnswerToTheQuestion