Page 1 of 1

Support PHP Storm Stubs

PostPosted: May 12th, 2017, 7:56 am
by davidbcn
I know this might not sound very product friendly but... any chance that PHP Tools could automatically integrate with PHP Storm stubs?

https://github.com/JetBrains/phpstorm-stubs

It contains stub classes for many PHP extensions, it will extremely helpful...

Re: Support PHP Storm Stubs

PostPosted: May 22nd, 2017, 12:23 pm
by Jakub Misek
Hi David,

PHP Tools is integrated with complete and up to date PHP manual, so these stubs are actually not needed.

Anyway it is always possible to copy these stubs as a separate project and add a reference to it, the result will be the same.

Is there anything included in stubs and not in PHP Tools ?

Thanks,
Jakub