| 1 | <?php |
||
| 9 | class GlobalConfiguration |
||
| 10 | { |
||
| 11 | /** |
||
| 12 | * @var array|ExternalToolConfiguration[] |
||
| 13 | */ |
||
| 14 | private $externalToolConfigurations; |
||
| 15 | |||
| 16 | /** |
||
| 17 | * @var array |
||
| 18 | */ |
||
| 19 | private $plugins; |
||
| 20 | |||
| 21 | 8 | public function __construct() |
|
| 26 | |||
| 27 | /** |
||
| 28 | * @return array|ExternalToolConfiguration[] |
||
| 29 | */ |
||
| 30 | public function getExternalToolConfigurations(): array |
||
| 34 | |||
| 35 | /** |
||
| 36 | * @param array|ExternalToolConfiguration[] $externalToolConfigurations |
||
| 37 | * @return $this |
||
| 38 | */ |
||
| 39 | 8 | public function setExternalToolConfigurations(array $externalToolConfigurations): self |
|
| 44 | |||
| 45 | /** |
||
| 46 | * @param array|ExternalToolConfiguration[] $externalToolConfigurations |
||
| 47 | * @return $this |
||
| 48 | */ |
||
| 49 | public function addExternalToolConfigurations(array $externalToolConfigurations): self |
||
| 54 | |||
| 55 | public function getPlugins(): array |
||
| 59 | |||
| 60 | /** |
||
| 61 | * @param array $plugins list or plugin URLs as strings |
||
| 62 | * @return $this |
||
| 63 | */ |
||
| 64 | 8 | public function setPlugins(array $plugins): self |
|
| 69 | |||
| 70 | /** |
||
| 71 | * @param array $plugins list or plugin URLs as strings |
||
| 72 | * @return $this |
||
| 73 | */ |
||
| 74 | public function addPlugins(array $plugins): self |
||
| 79 | } |
||
| 80 |