Fix PHP5 config.w32 2/head
authorJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:38:46 +0000 (13:38 +0100)
committerJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:38:46 +0000 (13:38 +0100)
commit519a2d24c971ee37965b6038d924df31d431b448
treec78d04aeee59300d10d4ba708d208c6d141a62a2
parent121f5ccf85ec2d1f4d03f76393d32e25974010c2
Fix PHP5 config.w32
config.w32