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