function setupXMLOutputCharset() { $charset = eZWebDAVServer::dataCharset(); $userAgent = isset($_SERVER['HTTP_USER_AGENT']) ? $_SERVER['HTTP_USER_AGENT'] : false; $pattern = eZWebDAVServer::userAgentPattern(); $userAgentSettings = eZWebDAVServer::userAgentSettings(); if (preg_match($pattern, $userAgent, $matches) && isset($userAgentSettings[$matches[0]])) { $agentSettings = $userAgentSettings[$matches[0]]; if (isset($agentSettings['xmlCharset']) && $agentSettings['xmlCharset'] != '') { $charset = $agentSettings['xmlCharset']; } } $this->setXMLOutputCharset($charset); }