add redis.php array_to_hash function