How to use extension in PHPStorm

[lon9man]

Hello, as far as i see it needs to be stub-file, which can be added into PHPStorm like described [here].(https://blog.jetbrains.com/phpstorm/2018/03/how-to-provide-stubs-for-phpstorm/)

Does anyone used this extension in Laravel?

Thanks!