Re: [basex-talk] JSON output in PHP client