Index: ui/file_manager/file_manager/foreground/js/file_type.js |
diff --git a/ui/file_manager/file_manager/foreground/js/file_type.js b/ui/file_manager/file_manager/foreground/js/file_type.js |
index f82a3d1b52c0e5d28a06772476fd8bf55ac0152e..b795728e469bd1810695550625226bf567f001a2 100644 |
--- a/ui/file_manager/file_manager/foreground/js/file_type.js |
+++ b/ui/file_manager/file_manager/foreground/js/file_type.js |
@@ -163,7 +163,7 @@ FileType.types = [ |
}, |
{ |
type: 'document', name: 'HTML_DOCUMENT_FILE_TYPE', |
- subtype: 'HTML', pattern: /\.(html?|mht|mhtml)$/i |
+ subtype: 'HTML', pattern: /\.(html?|mht(ml)?|shtml|xht(ml)?)$/i |
}, |
{ |
type: 'document', icon: 'word', name: 'WORD_DOCUMENT_FILE_TYPE', |