Merge pull request #15 in ZP/z-push from bugfix/ZP-651-wp-does-not-set-http_user_agent to develop

* commit 'd15b4438':
  ZP-651 #comment use DeviceType if UserAgent is not available

(cherry picked from commit 2f0206ed)

src/backend/zarafa/zarafa.php

@@ -167,7 +167,7 @@ class BackendZarafa implements IBackend, ISearchProvider {
                 // send Z-Push version and user agent to ZCP - ZP-589
                 if (Utils::CheckMapiExtVersion('7.2.0')) {
                     $zpush_version = 'Z-Push_' . @constant('ZPUSH_VERSION');
-                    $user_agent = $_SERVER['HTTP_USER_AGENT'];
+                    $user_agent = (Request::GetUserAgent() != Request::UNKNOWN) ? Request::GetUserAgent() : Request::GetDeviceType();
                     $this->session = @mapi_logon_zarafa($user, $pass, MAPI_SERVER, null, null, 0, $zpush_version, $user_agent);
                 }
                 else {