* tests/php/semantic/protected_redefined.php: