| 1 | <?php |
||
| 4 | class Configuration |
||
| 5 | { |
||
| 6 | /** @var int */ |
||
| 7 | protected $timeout = 3600; |
||
| 8 | |||
| 9 | /** @var string */ |
||
| 10 | protected $name = 'WdSessId'; |
||
| 11 | |||
| 12 | /** @var int */ |
||
| 13 | protected $gc_frequency = 100; |
||
| 14 | |||
| 15 | /** |
||
| 16 | * @param array $config |
||
| 17 | */ |
||
| 18 | 26 | public function __construct(array $config = []) |
|
| 24 | |||
| 25 | /** |
||
| 26 | * @return int |
||
| 27 | */ |
||
| 28 | public function getTimeout() |
||
| 32 | |||
| 33 | /** |
||
| 34 | * @return string |
||
| 35 | */ |
||
| 36 | 26 | public function getName() |
|
| 40 | |||
| 41 | /** |
||
| 42 | * @return int |
||
| 43 | */ |
||
| 44 | public function getGcFrequency() |
||
| 48 | |||
| 49 | /** |
||
| 50 | * @return string |
||
| 51 | */ |
||
| 52 | public function getUniqueId() |
||
| 56 | } |
||
| 57 |