Derky <derky@phpbb.com>
500cd2916e06c753a815b77b6c0421b6d33bc179
500cd2916e06c753a815b77b6c0421b6d33bc179
Merge pull request #5080 from marc1706/ticket/15055
[ticket/15055] Display content on unexpted server error
11 Jan 2018
Marc
6a75fe26fc80e1ffab0242ea6c2e9d1c1ef7d7c7
6a75fe26fc80e1ffab0242ea6c2e9d1c1ef7d7c7
[ticket/15055] Use regex to copy php to tools php
PHPBB3-15055
10 Jan 2018
Marc
8d551e2dedbde8c6126c2cbbb58768c1e2ad275d
8d551e2dedbde8c6126c2cbbb58768c1e2ad275d
[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
10 Jan 2018
Marc
62f8fed7977ea451cfc7dbc6ea93297d29edd24c
62f8fed7977ea451cfc7dbc6ea93297d29edd24c
[ticket/15055] Run sql2016 builds with PHP 7.1
PHPBB3-15055
09 Jan 2018
Marc
3c7f45c1665d51b0aba1ab44d378f8a0ad861e09
3c7f45c1665d51b0aba1ab44d378f8a0ad861e09
[ticket/15055] Fix line break and disable sql server 2017 for now
SQL Server 2017 currently fails for unknown reasons and just results in
an overall longer build time. Therefore disabling it for now.
PHPBB3-15055
09 Jan 2018