[stable10] console.php also needs a PHP 7.1 check#1899

rullzer merged 1 commit intostable10nextcloud/server:stable10from

stable10-php-7.1.0-checknextcloud/server:stable10-php-7.1.0-checkCopy head branch name to clipboard