Add a download link for the current file with the current file name to FileInput
|Reported by:||James Pic||Owned by:||nobody|
|Has patch:||no||Needs documentation:||no|
|Needs tests:||no||Patch needs improvement:||no|
Wouldn't it be nice for the FileInput widget which has an initial value to have a download link with the current file name?