From 4239054383b078fff2a125841494f3aea72abd0c Mon Sep 17 00:00:00 2001
From: Victor Dubiniuk <victor.dubiniuk@gmail.com>
Date: Wed, 27 May 2015 17:42:24 +0300
Subject: [PATCH] Add type hint for OC_Channel

---
 lib/private/util.php | 1 +
 1 file changed, 1 insertion(+)

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;
 			}