Add remi repo for php 7.2

This commit is contained in:
Oskar Schöldström 2017-09-18 15:37:58 -05:00
parent 8321c65083
commit 090412238b
No known key found for this signature in database
GPG Key ID: B1E80EF9EBBB2973
1 changed files with 4 additions and 0 deletions

View File

@ -10,3 +10,7 @@
- name: Enable remi repo for PHP 7.1.
set_fact: php_enablerepo="remi,remi-php71"
when: php_version == "7.1"
- name: Enable remi repo for PHP 7.2.
set_fact: php_enablerepo="remi,remi-php72"
when: php_version == "7.2"