header cleanups; fix IDE warnings
authorMichael Wallner <mike@php.net>
Tue, 10 Jan 2012 14:27:19 +0000 (14:27 +0000)
committerMichael Wallner <mike@php.net>
Tue, 10 Jan 2012 14:27:19 +0000 (14:27 +0000)

No differences found