php-redisHow to delete a key

$redis->delete('key');ctrl + cgithub

`$redis` Redis object after connection	`delete` deletes specified key
`key` name of the key to delete

<?php

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

$r->set('a', 1);
var_dump($r->get('a'));

$r->delete('a');
var_dump($r->get('a'));

string(1) "1"
bool(false)