function userAgentPattern() { $pattern = '//'; $userAgentSettings = eZWebDAVServer::userAgentSettings(); if (count($userAgentSettings) > 0) { $pattern = '/'; foreach ($userAgentSettings as $agent => $settings) { $pattern .= $agent . '|'; } $pattern[strlen($pattern) - 1] = '/'; } return $pattern; }