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?