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