php-redisGet nested JSON from Redis key

Usage example

<?php

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

$r->set('js', json_encode(['name' => 'Donald', 'top' => [1, 2, 3]]));

print_r(json_decode($r->get('js'), 1));

output

Array
(
    [name] => Donald
    [top] => Array
        (
            [0] => 1
            [1] => 2
            [2] => 3
        )

)