From d1e4a2b4494e3cb82551ea3de6cfafc6182cd802 Mon Sep 17 00:00:00 2001
From: Ahmed Ashour <asashour@yahoo.com>
Date: Thu, 14 Sep 2017 09:48:31 +0200
Subject: Add DOCTYPE for GWT module files

---
 .../src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml           | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'compatibility-client')

diff --git a/compatibility-client/src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml b/compatibility-client/src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml
index f253c7e06f..f121892f35 100755
--- a/compatibility-client/src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml
+++ b/compatibility-client/src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.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>
 	<!-- Hint for WidgetSetBuilder not to automatically update the file -->
 	<!-- WS Compiler: manually edited -->
-- 
cgit v1.2.3