Bug #74735 [Ver->Csd]: 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: Verified +Status: Closed Type: Bug Package: Dynamic loading Operating System: Debian PHP Version: 7.2.0alpha1 -Assigned To: pollita +Assigned To: cmb Block user comment: N Private report: N New Comment: PR #2574 has been merged – closing. Previous Comments: ------------------------------------------------------------------------ [2017-06-12 11:10:27] rainer dot jung at kippdata dot de Related To: Bug #74746 ------------------------------------------------------------------------ [2017-06-12 10:34:41] cmb@php.net Sara, can you have a look at this, please? ------------------------------------------------------------------------ [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 ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=74735 -- Edit this bug report at https://bugs.php.net/bug.php?id=74735&edit=1