From: Roeland Jago Douma <rullzer@users.noreply.github.com>
Date: Tue, 25 Oct 2016 08:15:26 +0000 (+0200)
Subject: Merge pull request #1899 from nextcloud/stable10-php-7.1.0-check
X-Git-Tag: v10.0.2~85
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=4a51be5a424994294749fc6e143f7781ceb2bcd6;p=nextcloud-server.git

Merge pull request #1899 from nextcloud/stable10-php-7.1.0-check

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

4a51be5a424994294749fc6e143f7781ceb2bcd6