move toolbox extension to an optional config - Githubissues

Haehnchen / idea-php-annotation-plugin

Add PHP annotation support for PhpStorm and IntelliJ

https://plugins.jetbrains.com/plugin/7320

MIT License

251 stars 41 forks source link

move toolbox extension to an optional config #236

Closed Haehnchen closed 2 years ago