Bug #74735 [Opn->Ver]: 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 Updated by: cmb@php.net 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 +Status: Verified Type: Bug Package: Dynamic loading Operating System: Debian PHP Version: 7.2.0alpha1 -Assigned To: +Assigned To: pollita Block user comment: N Private report: N New Comment: Sara, can you have a look at this, please? Previous Comments: ------------------------------------------------------------------------ [2017-06-12 10:32:36] cmb@php.net Related To: Bug #74746 ------------------------------------------------------------------------ [2017-06-09 22:39:22] bugs dot php dot net at majkl578 dot cz 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 ------------------------------------------------------------------------ [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