New file extensions

[tomangelo]

There are some custom scripts and userlevels that doesn't support these extensions yet, also making all these files suddenly "unable" to open in game or in Windows Notepad would be very confusing for some players. At least it would require some information in-game that you need to rename your files. Or make game to automatically rename them?

Code:

if(file.extension == ".txt")
{
    file.convertTo(new_ext);
}