Adds type information to the subclass-defined method 'fetch' of PlFeed, to ensure...

Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>

diff --git a/classes/plfeed.php b/classes/plfeed.php
index 78af758..916e574 100644 (file)
--- a/classes/plfeed.php
+++ b/classes/plfeed.php
@@ -69,7 +69,7 @@ abstract class PlFeed implements PlIterator
 
     /** Fetch the feed for the given user.
      */
-    abstract protected function fetch($user);
+    abstract protected function fetch(PlUser &$user);
 
     public function next()
     {