json_encode child element attributes

<?php
header("Content-Type: text/plain");
$xml = <<<XML
<a>
  <b a="value">text</b>
</a>
XML;
print_r(json_encode((array)simplexml_load_string($xml)));
// {"b":"text"}