From be32e562e3abb0a2205b56b01e7dc15e88e17e38 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Sat, 25 Oct 2014 12:00:56 +0200
Subject: [PATCH] drop unneeded hint

---
 lib/private/server.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/private/server.php b/lib/private/server.php
index ac0eb7b4cf9..a6d506e9b27 100644
--- a/lib/private/server.php
+++ b/lib/private/server.php
@@ -169,7 +169,6 @@ class Server extends SimpleContainer implements IServerContainer {
 			return new AvatarManager();
 		});
 		$this->registerService('Logger', function (Server $c) {
-			/** @var $c SimpleContainer */
 			$logClass = $c->query('AllConfig')->getSystemValue('log_type', 'owncloud');
 			$logger = 'OC_Log_' . ucfirst($logClass);
 			call_user_func(array($logger, 'init'));
-- 
GitLab