PHP: How to get the current user token in PHP?

PHP: How to get the current user token in PHP?

I searched but could not get any leads that work.

HELP!

For others looking for the same answer:

$user = Backendless::$UserService->login( $email, $password);

$user_token = $user->getUserToken();