Fix PHP5 config.w32 22/head
authorJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:36:48 +0000 (13:36 +0100)
committerJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:36:48 +0000 (13:36 +0100)
commit2aa853d8869a9cbbfda222d075f1183c71140ed5
tree8ffbec728da58037f7058be860dd1b0339f8ec73
parent6edb136d725e73b48fdf994883e3d77372f07648
Fix PHP5 config.w32
config.w32