original_string: public function delete_index(string $table, string $key): bool
  	{
  		if ( ( $table = $this->table_full_name($table, 1) ) && bbn\str::check_name($key) ){
  			return (bool)$this->db->query("ALTER TABLE $table DROP INDEX `$key`");
  		}
  		return false;
  	}
code: public function delete_index(string $table, string $key): bool
  	{
  		if ( ( $table = $this->table_full_name($table, 1) ) && bbn\str::check_name($key) ){
  			return (bool)$this->db->query("ALTER TABLE $table DROP INDEX `$key`");
  		}
  		return false;
  	}
code_tokens: public function delete_index ( string $ table , string $ key ) : bool { if ( ( $ table = $ this -> table_full_name ( $ table , 1 ) ) && bbn \ str :: check_name ( $ key ) ) { return ( bool ) $ this -> db -> query ( "ALTER TABLE $table DROP INDEX `$key`" ) ; } return false ; }
docstring: Deletes an index
  
  @param null|string $table
  @param string $key
  @return bool
docstring_tokens: Deletes an index