Add php extension php7-xmlreader only for php 7.1 and 7.2

5 jobs for master in 3 minutes and 49 seconds
Status Job ID Name Coverage
  Build
passed #15905
php-7.0

00:02:06

passed #15909
php-7.1

00:01:43

passed #15907
php-7.2

00:02:00

failed #15906
php-7.1

00:01:10

failed #15908
php-7.1

00:00:50