Description:
------------
I could not find functionality to rename class attributes (and obviously need it ;-).

Reproduce code:
---------------
<?php
class Foo {
  private $bar;
  protected $bar2;
  public $bar3;
}

runkit_property_rename('Foo', 'bar', 'baz');
runkit_property_rename('Foo', 'bar2', 'baz2');
runkit_property_rename('Foo', 'bar3', 'baz3');
?>


Expected result:
----------------
<?php
class Foo {
  private $baz;
  protected $baz2;
  public $baz3;
}
?>