1 | <?php |
||
9 | class ShibbolethSwitchUserEvent extends SwitchUserEvent |
||
10 | { |
||
11 | /** |
||
12 | * @var KuleuvenUserToken |
||
13 | */ |
||
14 | protected $token; |
||
15 | |||
16 | /** |
||
17 | * @param Request $request |
||
18 | * @param UserInterface $targetUser |
||
19 | * @param KuleuvenUserToken $token |
||
20 | */ |
||
21 | public function __construct(Request $request, UserInterface $targetUser, KuleuvenUserToken $token) |
||
26 | |||
27 | /** |
||
28 | * @return KuleuvenUserToken |
||
29 | */ |
||
30 | public function getToken() |
||
34 | } |
||
35 |