| 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',
|
|
|