Fix PHP7 config.w32 21/head
authorJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:26:26 +0000 (13:26 +0100)
committerJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:26:26 +0000 (13:26 +0100)
commitd7d868e74c34f1e0e3c4564f5b351572aadb6454
treefab4f57c1d9975e0826c2baf9e3a4fb222961272
parente7191b8c658cbd77c1b84037d9f87567fb6c8712
Fix PHP7 config.w32
config.w32