Forum:File renaming

From Pikipedia, the Pikmin wiki
Jump to navigation Jump to search
Forums: Index > Help desk > File renaming

Shouldn't this file be renamed, since the enemies' real name is known? I'd do the move myself, but I can't think of a good name to move to. Emperor Bulblax (talk) 21:46, 19 October 2012 (EDT)

Meh, I don't really think it's necessary. It's just more work to change it to another file name, because you would also have to change the file names on each page it links to. Mind you, it would also be like this and this; the former of which to be renamed. So, it's just more unneeded work. ~PikFan23
Yes, we tend not to bother much with file names, partly because moving them is a pain, and partly because normal users don't often see them (and if they do, it doesn't matter anywhere near as much as for article names). GP 06:46, 20 October 2012 (EDT)
Ok. Thanks. Emperor Bulblax (talk) 10:33, 20 October 2012 (EDT)