/** * @see PKPRequest::getUserAgent() */ function getUserAgent() { static $userAgent; $userAgent = parent::getUserAgent(); if (strpos($userAgent, 'Shockwave Flash')) { $userAgent = $_SERVER['HTTP_BROWSER_USER_AGENT']; } return $userAgent; }