Details
-
Sub-task
-
Status: Closed
-
Minor
-
Resolution: Won't Fix
-
2.0
-
None
-
None
-
MOODLE_20_STABLE
Description
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.