diff options
Diffstat (limited to 'server/src/com/vaadin/server/Constants.java')
| -rw-r--r-- | server/src/com/vaadin/server/Constants.java | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/server/src/com/vaadin/server/Constants.java b/server/src/com/vaadin/server/Constants.java index afb2d4dae1..f516b4b9a6 100644 --- a/server/src/com/vaadin/server/Constants.java +++ b/server/src/com/vaadin/server/Constants.java @@ -56,9 +56,6 @@ public interface Constants { + " Widgetset version: %s\n" + "================================================================="; - static final String URL_PARAMETER_RESTART_APPLICATION = "restartApplication"; - static final String URL_PARAMETER_CLOSE_APPLICATION = "closeApplication"; - static final String URL_PARAMETER_REPAINT_ALL = "repaintAll"; static final String URL_PARAMETER_THEME = "theme"; static final String SERVLET_PARAMETER_PRODUCTION_MODE = "productionMode"; |