17.12.1 - Fixes on PHP extension loading files.
Since PHP 7.2, there is no more need to include .so or .dll extension on extension file names.
The 7.2 scripts were updated to reflect this.
Since PHP 7.2, there is no more need to include .so or .dll extension on extension file names.
The 7.2 scripts were updated to reflect this.