media manager: shortened text for media list headline

inc/lang/en/lang.php

@@ -343,7 +343,7 @@ $lang['media_list_rows']       = 'List';
 $lang['media_sort_name']       = 'Name';
 $lang['media_sort_date']       = 'Date';
 $lang['media_namespaces']      = 'Choose namespace';
-$lang['media_files']           = 'Media files in %s';
+$lang['media_files']           = 'Files in %s';
 $lang['media_upload']          = 'Upload to %s';
 $lang['media_search']          = 'Search in %s';
 $lang['media_view']            = '%s';