handling of installed extensions, core or non core

[pierrejoye]

We need a way to handle a list of installed extensions and provide APIs/Commands to list them, with version.

Core extensions being a total mess, we should create a special list for each PHP major version and list them as, f.e., libxml-5.4.8.

For non core extensions (aka installed separately via pickle or other), list them with the builtin versions. If installed by pickle, store the meta locally per php setup (we support only one for now but for the record so we do not forget that later :)

[Hywan]

Is an official core extension list exist?

[weltling]

@Hywan it's find ext/ -type d -mindepth 1 -maxdepth 1 -exec basename '{}' \; in php-src, some different between php5 and php7, but shouldn't change often. One probably could save a list for every minor version inside pickle.