Php shmop extension

Hello !
I need the "shmop" php module for one of my sites. Why is this module not available in the php7.4 automatically installed by Plesk ? Is there a simple way to add it ?
I am on on Debian/Stretch.
Thank you.