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

* commit 'e47a725a':
  ZP-651 Use user agent exposed by DeviceManager (depends on ZP-655). Released under the Affero GNU General Public License (AGPL) version 3.

(cherry picked from commit 92eeac46)

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 = (Request::GetUserAgent() != Request::UNKNOWN) ? Request::GetUserAgent() : Request::GetDeviceType();
+                    $user_agent = ZPush::GetDeviceManager()->GetUserAgent();
                     $this->session = @mapi_logon_zarafa($user, $pass, MAPI_SERVER, null, null, 0, $zpush_version, $user_agent);
                 }
                 else {