use final_class flag
authorMichael Wallner <mike@php.net>
Wed, 12 Dec 2012 11:49:18 +0000 (11:49 +0000)
committerMichael Wallner <mike@php.net>
Wed, 12 Dec 2012 11:49:18 +0000 (11:49 +0000)

No differences found