fix bad access with interned strings
authorMichael Wallner <mike@php.net>
Mon, 15 Jun 2015 14:49:04 +0000 (16:49 +0200)
committerMichael Wallner <mike@php.net>
Mon, 15 Jun 2015 14:49:04 +0000 (16:49 +0200)

No differences found