Resource types

Hello,

When we use right click on a resource ans save target as... we can only save the php file "view.php"...

I think that the easiest way it's to have a small floppy disk icon close of the resource to directly save the file because we don't know the level technic of our students, so the system must be easy to use from everywhere and never mind what's browser used.

Thank you for your help... i'm still looking about...