property names are not unmangled when printed

 [2004-02-04 11:03 UTC] andrey@php.net

Description:
------------
Object property name is not unmangled before printing in an compile error.

Reproduce code:
---------------
php -r 'class a { protected static $v = "aa";} class b extends a{ protected static $v="bb";}'

Expected result:
----------------
PHP Fatal error:  Cannot redeclare property static protected a::$v in class b in Command line code on line 1

Actual result:
--------------
PHP Fatal error:  Cannot redeclare property static protected a::$ in class b in Command line code on line 1