diff options
| author | Ahmed Ashour <asashour@yahoo.com> | 2017-09-14 09:48:31 +0200 |
|---|---|---|
| committer | Henri Sara <henri.sara@gmail.com> | 2017-09-14 11:38:53 +0300 |
| commit | d1e4a2b4494e3cb82551ea3de6cfafc6182cd802 (patch) | |
| tree | 9169a2860e61aa28aec49672bfda7c0370b74cf0 /client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml | |
| parent | 1e4c008537006facad7ae30db36d15d46b0f2f8a (diff) | |
| download | vaadin-framework-d1e4a2b4494e3cb82551ea3de6cfafc6182cd802.tar.gz vaadin-framework-d1e4a2b4494e3cb82551ea3de6cfafc6182cd802.zip | |
Add DOCTYPE for GWT module files
Diffstat (limited to 'client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml')
| -rwxr-xr-x | client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml index 477ec43288..34b0689789 100755 --- a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml +++ b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml @@ -1,3 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.8.1//EN" "http://gwtproject.org/doctype/2.8.1/gwt-module.dtd"> <module> <!-- This GWT module defines the Vaadin DefaultWidgetSet. This is the module you want to extend when creating an extended widget set, or when creating |