diff --git a/lib/private/util.php b/lib/private/util.php index c2f7d0d1a8..59408c0fc0 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; }