Re: [basex-talk] PHP: How can I get the name of the xquery function where an error occurred?