diff options
Diffstat (limited to 'lib/private')
| -rw-r--r-- | lib/private/util.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/private/util.php b/lib/private/util.php index c2f7d0d1a87..59408c0fc03 100644 --- a/lib/private/util.php +++ b/lib/private/util.php @@ -393,6 +393,7 @@ class OC_Util { if (\OC::$server->getSystemConfig()->getValue('installed', false)) { $channel = \OC::$server->getAppConfig()->getValue('core', 'OC_Channel'); } else { + /** @var $OC_Channel string */ $channel = $OC_Channel; } |