set_extension


Description:

public void set_extension (string extension)