original_string: public function delete_many(array $keys) {
          // Redis needs the hash as the first argument, so we have to put it at the start of the array.
          array_unshift($keys, $this->hash);
          return call_user_func_array(array($this->redis, 'hDel'), $keys);
      }
code: public function delete_many(array $keys) {
          // Redis needs the hash as the first argument, so we have to put it at the start of the array.
          array_unshift($keys, $this->hash);
          return call_user_func_array(array($this->redis, 'hDel'), $keys);
      }
code_tokens: public function delete_many ( array $ keys ) { // Redis needs the hash as the first argument, so we have to put it at the start of the array. array_unshift ( $ keys , $ this -> hash ) ; return call_user_func_array ( array ( $ this -> redis , 'hDel' ) , $ keys ) ; }
docstring: Delete many keys.
  
  @param array $keys The keys to delete.
  @return int The number of keys successfully deleted.
docstring_tokens: Delete many keys .