Add hook for pre-fetching the profile.

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>

diff --git a/classes/user.php b/classes/user.php
index b8cca26..4626b85 100644 (file)
--- a/classes/user.php
+++ b/classes/user.php
@@ -369,6 +369,12 @@ class User extends PlUser
         return $this->_profile;
     }
 
+    public function setPrefetchedProfile(Profile $profile)
+    {
+        $this->_profile_fetched = true;
+        $this->_profile = $profile;
+    }
+
     /** Return true if the user has an associated profile.
      */
     public function hasProfile()