Modified files: /phpdoc/en/language types.xml Log:$str{42} isn't deprecated (yet?), but $str[42] is preferred. We'll mention that.Deprecated != doesn't work (see dl()) I think the other text was better, as the official core-devs party line is "{ } is gone"
This new "soft" version seems appropriate until its deprecated status is 100% certain. I feel you're right but would rather wait for now. PHP 6 should produce an E_STRICT error like PHP 5.1 temporarily did...
Regards, Philip