diff options
Diffstat (limited to 'WebContent/VAADIN/vaadinBootstrap.js')
| -rw-r--r-- | WebContent/VAADIN/vaadinBootstrap.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/WebContent/VAADIN/vaadinBootstrap.js b/WebContent/VAADIN/vaadinBootstrap.js index 40f9ce470f..b2995dd0bd 100644 --- a/WebContent/VAADIN/vaadinBootstrap.js +++ b/WebContent/VAADIN/vaadinBootstrap.js @@ -120,6 +120,11 @@ url += '&theme=' + encodeURIComponent(theme); } + var extraParams = getConfig('extraParams') + if (extraParams !== undefined) { + url += extraParams; + } + url += '&' + vaadin.getBrowserDetailsParameters(appId); // Timestamp to avoid caching |