0001-Build-the-extension-only-for-PHP-7.1.patch
