diff options
Diffstat (limited to 'public/app/extends/App_manager.php')
| -rw-r--r-- | public/app/extends/App_manager.php | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/public/app/extends/App_manager.php b/public/app/extends/App_manager.php index b003015..7641530 100644 --- a/public/app/extends/App_manager.php +++ b/public/app/extends/App_manager.php @@ -20,6 +20,10 @@ class App_manager extends UserManager protected $user; + + /** constructor + * --- -- -- - - - + */ public function __construct() { parent::__construct(); @@ -53,6 +57,19 @@ class App_manager extends UserManager } + +// /** createUserToken() +// * == serializes user and stores it into session +// * so $_SESSION[DEFAULT_PREFIX_KEY] has the serialized representaion of user +// */ +// public function createUserToken(UserInterface $user): UserTokenInterface +// { +// $userToken = new UserToken($user); +// $_SESSION[UserTokenInterface::DEFAULT_PREFIX_KEY] = $userToken->serialize(); +// +// return $userToken; +// } + /** ?? * */ |