Add php extension fileinfo only for php 7.1 and 7.2

3 jobs for master in 2 minutes and 58 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #14751
php-7.0

00:02:58

passed #14752
php-7.1

00:02:54

passed #14753
php-7.2

00:02:45