I'm using 3rd party extensions that requires compilation to generate the .so file:
/usr/bin/phpize
./configure --with-php-config=/usr/bin/php-config --disable-memcached-sasl
make
make install
My question is, if I update PHP from 7.1.0 to 7.1.1, do I need to manually recompile all the .so extensions?
Or there's no need to recompile if I'm staying within the 7.1.x branch?