diff options
author | Bernhard Posselt <dev@bernhard-posselt.com> | 2015-03-21 21:43:58 +0100 |
---|---|---|
committer | Bernhard Posselt <dev@bernhard-posselt.com> | 2015-03-21 21:43:58 +0100 |
commit | 169ff3f3aa34382ae576ce2468b1961a203b49d7 (patch) | |
tree | 1f9c2ed30722a9f9d1a44b1b8ced5a793460945c /config | |
parent | 21ffa118b26672ec94ed5b7e1126e0133cb18048 (diff) |
coding style fixes
Diffstat (limited to 'config')
-rw-r--r-- | config/config.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/config.php b/config/config.php index c02a8872c..d9fe1569f 100644 --- a/config/config.php +++ b/config/config.php @@ -32,6 +32,10 @@ class Config { private $loggerParams; private $maxSize; private $exploreUrl; + private $proxyHost; + private $proxyPort; + private $proxyUser; + private $proxyPassword; public function __construct(Folder $fileSystem, |