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