Fix PHP5 config.w32 3/head
authorJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:40:27 +0000 (13:40 +0100)
committerJan-E <github@ehrhardt.nl>
Fri, 22 Jan 2016 12:40:27 +0000 (13:40 +0100)
commitbc0b117eb32d1a7a7cd5257ef10d667bee52177f
tree14f7f67c54cf430eee73cba04c3d2ec377a5c1f9
parent5b24a5331ab03b9ed7d99819c024360b7cb5e270
Fix PHP5 config.w32
config.w32