From: Xinchen Hui <laruence@gmail.com>
Date: Mon, 30 Oct 2017 10:17:27 +0000 (+0800)
Subject: Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1
X-Git-Tag: php-7.2.0RC6~17^2~4^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a3286a8ee47cd0622acad0f11108582d10340d5a;p=php

Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1

* 'PHP-7.1' of git.php.net:/php-src:
  Remove status check on the SDK repo and add version check
---

a3286a8ee47cd0622acad0f11108582d10340d5a