Use latest core : move "promo" user field from core to platal

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

diff --git a/classes/user.php b/classes/user.php
index eb8390d..c50b78c 100644 (file)
--- a/classes/user.php
+++ b/classes/user.php
@@ -21,6 +21,9 @@
 
 class User extends PlUser
 {
+    // Additional fields (non core)
+    protected $promo = null;
+
     // Implementation of the login to uid method.
     protected function getLogin($login)
     {

diff --git a/core b/core
index 7b08f6b..6c36b90 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 7b08f6b5b31bf94e1b707895a9cb043d62faba3e
+Subproject commit 6c36b907ae72344efb81730e3b41a0ddc9473cec