fix warning, and place bet on the safe side
authorMichael Wallner <mike@php.net>
Fri, 22 May 2015 07:29:42 +0000 (09:29 +0200)
committerMichael Wallner <mike@php.net>
Fri, 22 May 2015 07:29:42 +0000 (09:29 +0200)

No differences found