Add php extension fileinfo only for php 7.1 and 7.2
Passed
jurgenhaas
created pipeline for commit
b7ea1ffb
, finished
For master
2 minutes 58 seconds, queued for 4 seconds