From 8d551e2dedbde8c6126c2cbbb58768c1e2ad275d Mon Sep 17 00:00:00 2001
From: Marc Alexander <admin@m-a-styles.de>
Date: Wed, 10 Jan 2018 20:47:24 +0100
Subject: [PATCH] [ticket/15055] Specifiy PHP 7.1.12 and use development ini

PHP 7.1.13 seems to randomly fail. Use 7.1.12 for now.

PHPBB3-15055
---
 .appveyor.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.appveyor.yml b/.appveyor.yml
index 7ec7a47daa..0c5874f386 100644
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -15,7 +15,7 @@ environment:
     php: 7.0
   - db: mssql
     db_version: sql2016
-    php: 7.1
+    php: 7.1.12
 #  - db: mssql
 #    db_version: sql2017
 #    php: 7.1
@@ -43,7 +43,7 @@ before_test:
       Get-ChildItem -Path "c:\tools\php$($env:php -replace '[.]','')" -Recurse |
           Move-Item -destination "c:\tools\php"
       cd c:\tools\php
-      cat php.ini-production | %{$_ -replace "memory_limit = 128M","memory_limit = 1024M"} | Out-File -Encoding "Default" php.ini
+      cat php.ini-development | %{$_ -replace "memory_limit = 128M","memory_limit = 1024M"} | Out-File -Encoding "Default" php.ini
       Add-Content php.ini "`n date.timezone=UTC"
       Add-Content php.ini "`n display_errors=On"
       Add-Content php.ini "`n extension_dir=ext"