File php72.rpmlintrc of Package php72.18240

# Non-versioned shared library, php-embed requires
# exact version of main package, parallel installation
# not wanted
addFilter("php..-embed.* shlib-policy-name-error")