- corrected handling of optional media files
- sorting files explicitely (windows does this implecitely, but linux doesn't)
Authored by: ingo 2019-09-21
Parent: [r6]
Child: [r8]