/usr/share/php/Horde/Mime/Headers/UserAgent.php is in php-horde-mime 2.10.3-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | <?php
/**
* Copyright 2014-2017 Horde LLC (http://www.horde.org/)
*
* See the enclosed file COPYING for license information (LGPL). If you
* did not receive this file, see http://www.horde.org/licenses/lgpl21.
*
* @category Horde
* @copyright 2014-2017 Horde LLC
* @license http://www.horde.org/licenses/lgpl21 LGPL 2.1
* @package Mime
*/
/**
* This class represents the User-Agent header value.
*
* @author Michael Slusarz <slusarz@horde.org>
* @category Horde
* @copyright 2014-2017 Horde LLC
* @license http://www.horde.org/licenses/lgpl21 LGPL 2.1
* @package Mime
* @since 2.5.0
*/
class Horde_Mime_Headers_UserAgent
extends Horde_Mime_Headers_Element_Single
{
/**
* Creates a default system User-Agent header.
*
* @return Horde_Mime_Headers_Single_UserAgent User-Agent header object.
*/
public static function create($prefix = 'Horde')
{
return new self(
null,
'Horde Application Framework 5'
);
}
/**
*/
public function __construct($name, $value)
{
parent::__construct('User-Agent', $value);
}
/**
*/
public static function getHandles()
{
return array(
// Mail: RFC 5322
'user-agent'
);
}
}
|