Fix VC11 build
authorMichael Wallner <mike@php.net>
Fri, 10 Jul 2015 07:50:12 +0000 (09:50 +0200)
committerMichael Wallner <mike@php.net>
Fri, 10 Jul 2015 07:50:12 +0000 (09:50 +0200)

No differences found