[devel_languages_php_php72]
name=php 7.2 (SLE_15_SP1)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/devel:/languages:/php:/php72/SLE_15_SP1/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/devel:/languages:/php:/php72/SLE_15_SP1/repodata/repomd.xml.key
enabled=1