On a Debian system, PHP extension binaries reside in /usr/lib/php/
. Inside are folders for each PHP version, like 7.2
and 7.3
, as well as folders named after dates, like 20170718
and 20180731
.
Installing extensions using pecl install
does not always add an .so
file to each date folder. E.g. running pecl install jsmin
created /usr/lib/php/20170718/jsmin.so
but not /usr/lib/php/20180731/jsmin.so
for me.
What do these dates represent?