1 | <?php |
||
4 | class Options |
||
5 | { |
||
6 | private $host = 'localhost'; |
||
7 | private $port = 4444; |
||
8 | private $tags = []; |
||
9 | |||
10 | 5 | public function getPort() |
|
14 | |||
15 | 4 | public function setPort($port) |
|
20 | |||
21 | 17 | public function getTags() |
|
25 | |||
26 | 3 | public function setTags($tags) |
|
31 | |||
32 | 5 | public function getHost() |
|
36 | |||
37 | 3 | public function setHost($host) |
|
42 | } |
||
43 | |||
44 |