From: Michael Wallner <mike@php.net>
Date: Fri, 22 Jan 2016 13:04:10 +0000 (+0100)
Subject: Merge pull request #2 from Jan-E/v1.0.x
X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-propro;a=commitdiff_plain;h=refs%2Fheads%2Fv1.0.x

Merge pull request #2 from Jan-E/v1.0.x

Fix PHP5 config.w32
---

eb0a819dbb80450394f59128fddb1a76252504ca