Bug #74735 [Com]: 7.2.0alpha1 overwrites 7.1 extensions under 20160303 ext dir

Edit report at https://bugs.php.net/bug.php?id=74735&edit=1 ID: 74735 Comment by: bugs dot php dot net at majkl578 dot cz Reported by: bugs dot php dot net at majkl578 dot cz Summary: 7.2.0alpha1 overwrites 7.1 extensions under 20160303 ext dir Status: Open Type: Bug Package: Dynamic loading Operating System: Debian PHP Version: 7.2.0alpha1 Block user comment: N Private report: N New Comment: I don't think so - extension API should be bumped for minor versions. Each minor's extensions are installed in a versioned folder by default. See here for: 7.1: https://github.com/php/php-src/commit/1ce0187659176c8b765f55656881600bc2f30958 7.0: https://github.com/php/php-src/commit/dcbbf7c38d45fd06752b7298ed765733ca2f8d41 Previous Comments: ------------------------------------------------------------------------ [2017-06-09 22:33:31] spam2 at rhsoft dot net Just define Prefix or extensiondir if you need more than one php version on your system - this is hardly a bug but a user error ------------------------------------------------------------------------ [2017-06-09 22:28:54] bugs dot php dot net at majkl578 dot cz Description: ------------ PHP 7.2.0alpha1 overwrites PHP 7.1 extensions under the 20160303 API version. This is a serious issue as it breaks previous extensions, i.e. opcache complains about undefined symbols under 7.1. Test script: --------------- ./configure --disable-all --enable-cli make -j nproc sapi/cli/php -n -i | grep extension_dir Expected result: ---------------- 7.1 should have different API version Actual result: -------------- extension dir refers to 20160303 API ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=74735&edit=1