Detection of enabled/disabled extensions for PHP interpreter

In the previous PhpStorm release, we made it possible to configure which PHP extensions are used in the project. We