diff options
Diffstat (limited to 'src/com/vaadin/terminal/ThemeResource.java')
| -rw-r--r-- | src/com/vaadin/terminal/ThemeResource.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/com/vaadin/terminal/ThemeResource.java b/src/com/vaadin/terminal/ThemeResource.java index d456047653..41674b2373 100644 --- a/src/com/vaadin/terminal/ThemeResource.java +++ b/src/com/vaadin/terminal/ThemeResource.java @@ -89,6 +89,7 @@ public class ThemeResource implements Resource { /** * @see com.vaadin.terminal.Resource#getMIMEType() */ + @Override public String getMIMEType() { return FileTypeResolver.getMIMEType(getResourceId()); } |