Current File : //usr/share/php7.2-common/common/sysvsem.ini

; configuration for php common module
; priority=20
extension=sysvsem.so