-
Sub-task
-
Resolution: Won't Fix
-
Minor
-
None
-
2.0
-
None
-
MOODLE_20_STABLE
It would be pretty necessary for people to be able to rename an exported file if they want to, and doing it on the plugin options screen would be extremely convenient.