[server_php_extensions_php7]
name=PHP7 extensions (SLE_12_SP3)
type=rpm-md
baseurl=http://download.opensuse.org/repositories/server:/php:/extensions:/php7/SLE_12_SP3/
gpgcheck=1
gpgkey=http://download.opensuse.org/repositories/server:/php:/extensions:/php7/SLE_12_SP3/repodata/repomd.xml.key
enabled=1