[wgo-web] PHP 7.2 is in use

[Andrea Veri <averi src gnome org>]

commit d3e88770bf8c0fb51f1cbb8aeeb05e5a8753eddc
Author: Andrea Veri <averi redhat com>
Date:   Wed Jul 8 16:08:29 2020 +0200

    PHP 7.2 is in use

 civicrm-cron.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/civicrm-cron.sh b/civicrm-cron.sh
index f08b37e..4b5825e 100755
--- a/civicrm-cron.sh
+++ b/civicrm-cron.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-scl enable rh-php71 "php /srv/http/www.gnome.org/html/wp-content/plugins/civicrm/civicrm/bin/cli.php -s 
www.gnome.org -u civicrmcron -p \"${CIVICRM_USER_PASSWORD}\" -e Job -a execute"
+scl enable rh-php72 "php /srv/http/www.gnome.org/html/wp-content/plugins/civicrm/civicrm/bin/cli.php -s 
www.gnome.org -u civicrmcron -p \"${CIVICRM_USER_PASSWORD}\" -e Job -a execute"