diff options
Diffstat (limited to 'WebContent')
| -rw-r--r-- | WebContent/VAADIN/vaadinBootstrap.js | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/WebContent/VAADIN/vaadinBootstrap.js b/WebContent/VAADIN/vaadinBootstrap.js index ae50289477..b2995dd0bd 100644 --- a/WebContent/VAADIN/vaadinBootstrap.js +++ b/WebContent/VAADIN/vaadinBootstrap.js @@ -120,12 +120,6 @@ url += '&theme=' + encodeURIComponent(theme); } - // Tell the UI what pushMode it is configured to use - var pushMode = getConfig('pushMode'); - if (pushMode !== undefined) { - url += '&v-pushMode=' + encodeURIComponent(pushMode); - } - var extraParams = getConfig('extraParams') if (extraParams !== undefined) { url += extraParams; |