From bb88dd5d7becb42830a052ca8efee9103c722081 Mon Sep 17 00:00:00 2001
From: Bernhard Posselt <dev@bernhard-posselt.com>
Date: Tue, 13 May 2014 00:21:29 +0200
Subject: [PATCH] fix doc comments in feedfetcher

---
 fetcher/fetcher.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fetcher/fetcher.php b/fetcher/fetcher.php
index 50017b7a5..f14dac0b6 100644
--- a/fetcher/fetcher.php
+++ b/fetcher/fetcher.php
@@ -33,7 +33,7 @@ class Fetcher {
 
 	/**
 	 * Fetch a feed from remote
-	 * @param string url remote url of the feed
+	 * @param string $url remote url of the feed
 	 * @param boolean $getFavicon if the favicon should also be fetched, defaults
 	 * to true
 	 * @throws FetcherException if simple pie fails