Motivation
When a file is imported to Commons, users may change its name, e.g. because the current file name already exists on Commons. This means that our extension allows setting file names, and should adhere to all file naming standards of mediawiki.
Task
Apply all file naming standards of mediawiki, when users want to change the title of an imported file in the file importer extension, e.g. through the special page.
This means:
- apply existing file name rules
- handle name space prefixes gracefully
- handle file endings gracefully. Ideally, allow renamings from jpg to JPG or jpeg, but don't allow a file type switch.
