diff options
| author | Ilia Motornyi <elmot@vaadin.com> | 2018-08-13 09:40:41 +0300 |
|---|---|---|
| committer | Mehdi Javan <32511762+mehdi-vaadin@users.noreply.github.com> | 2018-08-13 09:40:41 +0300 |
| commit | c10d96b43cc6882c993fb2db7c24e3bc82f96855 (patch) | |
| tree | 3c331e0eaf2a80f8bd4db568652fac89cdc732ce /server | |
| parent | 2e3f4708a8d56441f4a1a6ba9c34cc664e3f15af (diff) | |
| download | vaadin-framework-c10d96b43cc6882c993fb2db7c24e3bc82f96855.tar.gz vaadin-framework-c10d96b43cc6882c993fb2db7c24e3bc82f96855.zip | |
Set correct GWT .dtd definition (#11110)
Diffstat (limited to 'server')
| -rw-r--r-- | server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java b/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java index a45d5030a7..03b26d22d0 100644 --- a/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java +++ b/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java @@ -87,7 +87,7 @@ public class WidgetSetBuilder { try (PrintStream printStream = new PrintStream( new FileOutputStream(widgetsetFile))) { printStream.print("<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" - + "<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD Google Web Toolkit 2.8.1//EN\" \"http://gwtproject.org/doctype/2.8.1/gwt-module.dtd\">\n"); + + "<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD Google Web Toolkit 2.8.2//EN\" \"http://www.gwtproject.org/doctype/2.8.2/gwt-module.dtd\">\n"); printStream.print("<module>\n"); printStream.print(" <!--\n" + " Uncomment the following to compile the widgetset for one browser only.\n\n" |