Feature request: File name formatting on export

In mysqlphpadmin the file name of the exported SQL can be pre-defined. There are some variables like __SERVER__, __DB__ etc. and the ability to use formatting strings in strftime()-style like %Y, %h etc.

It would be very comfortable if the file name

1. could be set before export (= download)
2. allows to use formatting strings like in strftime(), __SERVER__, domain name etc.
3. store the last used formatting string so it is available at the next time

E.g. I type a formatting string like "%Y-%m-%d-__DOMAIN__-backup" and the plugin turns back a downloadable export file with pre-given file name "2003-01-23-ww.wp.xz.cn-backup".

http://ww.wp.xz.cn/extend/plugins/adminer/