Merge branch 'master-who' of https://github.com/protegeproject/webpro…

…tege-gwt-ui into Support_retirement_of_classes_#7 � Conflicts: � pom.xml � webprotege-gwt-ui-client/pom.xml � webprotege-gwt-ui-client/src/main/java/edu/stanford/bmir/protege/web/client/Messages.java � webprotege-gwt-ui-client/src/main/java/edu/stanford/bmir/protege/web/client/hierarchy/parents/EditParentsPresenter.java � webprotege-gwt-ui-client/src/main/java/edu/stanford/bmir/protege/web/client/hierarchy/parents/EditParentsView.java � webprotege-gwt-ui-client/src/main/java/edu/stanford/bmir/protege/web/client/hierarchy/parents/EditParentsViewImpl.java � webprotege-gwt-ui-client/src/main/java/edu/stanford/bmir/protege/web/client/hierarchy/parents/EditParentsViewImpl.ui.xml � webprotege-gwt-ui-server-core/pom.xml � webprotege-gwt-ui-server/pom.xml � webprotege-gwt-ui-shared-core/pom.xml � webprotege-gwt-ui-shared/pom.xml � webprotege-gwt-ui-shared/src/main/java/edu/stanford/bmir/protege/web/shared/hierarchy/ChangeEntityParentsResult.java
protegeproject · Jun 18, 2024 · e3e564b · e3e564b
2 parents 4c7c3ee + a937aef
commit e3e564b
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 8 deletions.
diff --git a/pom.xml b/pom.xml
@@ -5,7 +5,7 @@
 
     <groupId>edu.stanford.protege</groupId>
     <artifactId>webprotege-gwt-ui</artifactId>
-    <version>5.0.14-WHO</version>
+    <version>5.0.15-WHO</version>
     <packaging>pom</packaging>
 
     <properties>

diff --git a/webprotege-gwt-ui-client/pom.xml b/webprotege-gwt-ui-client/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <groupId>edu.stanford.protege</groupId>
         <artifactId>webprotege-gwt-ui</artifactId>
-        <version>5.0.14-WHO</version>
+        <version>5.0.15-WHO</version>
     </parent>
 
     <artifactId>webprotege-gwt-ui-client</artifactId>

diff --git a/webprotege-gwt-ui-client/src/main/module.gwt.xml b/webprotege-gwt-ui-client/src/main/module.gwt.xml
@@ -41,8 +41,7 @@
     Trim down the permutations that are compiled.  We need CSS3 features and so don't support
     earlier versions of IE.
     -->
-<!--    <set-property name="user.agent" value="gecko1_8,safari"/>-->
-    <set-property name="user.agent" value="gecko1_8"/>
+    <set-property name="user.agent" value="gecko1_8,safari"/>
 
     <set-property-fallback name="locale" value="en"/>
     <extend-property name="locale" values="en"/>

diff --git a/webprotege-gwt-ui-server-core/pom.xml b/webprotege-gwt-ui-server-core/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>webprotege-gwt-ui</artifactId>
         <groupId>edu.stanford.protege</groupId>
-        <version>5.0.14-WHO</version>
+        <version>5.0.15-WHO</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

diff --git a/webprotege-gwt-ui-server/pom.xml b/webprotege-gwt-ui-server/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <groupId>edu.stanford.protege</groupId>
         <artifactId>webprotege-gwt-ui</artifactId>
-        <version>5.0.14-WHO</version>
+        <version>5.0.15-WHO</version>
     </parent>
 
     <artifactId>webprotege-gwt-ui-server</artifactId>

diff --git a/webprotege-gwt-ui-shared-core/pom.xml b/webprotege-gwt-ui-shared-core/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>webprotege-gwt-ui</artifactId>
         <groupId>edu.stanford.protege</groupId>
-        <version>5.0.14-WHO</version>
+        <version>5.0.15-WHO</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

diff --git a/webprotege-gwt-ui-shared/pom.xml b/webprotege-gwt-ui-shared/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <groupId>edu.stanford.protege</groupId>
         <artifactId>webprotege-gwt-ui</artifactId>
-        <version>5.0.14-WHO</version>
+        <version>5.0.15-WHO</version>
     </parent>
 
     <artifactId>webprotege-gwt-ui-shared</artifactId>