diff --git a/Tools/webchecker/mimetypes.py b/Tools/webchecker/mimetypes.py
index fd0e1c52c96..0b1748ed311 100644
--- a/Tools/webchecker/mimetypes.py
+++ b/Tools/webchecker/mimetypes.py
@@ -128,6 +128,7 @@ def read_mime_types(file):
     '.hdf': 'application/x-hdf',
     '.htm': 'text/html',
     '.html': 'text/html',
+    '.shtml': 'text/html',
     '.ief': 'image/ief',
     '.jpe': 'image/jpeg',
     '.jpeg': 'image/jpeg',