
It is legal/correct to write session() in Laravel, but this is not recognized in PHP Tools, would be good if there is a configurable flag (Some might not be using Laravel) to recognize them.
There are many other Laravel functions such as app(), config(), session(), redirect(), route() etc.
Thank you.