php-redisHow to rename key in Redis

$redis->rename('old', 'new');ctrl + cgithub

`$redis` Redis object after connection	`rename` renames old key name to the new one
`old` current name of the key	`new` new name of the key

<?php

$r = new Redis(); 
$r->connect('127.0.0.1', 6379);

$r->set('a', 123);
$r->rename('a', 'aa');

echo $r->get('aa');