Merge pull request #790 from geoadmin/dev_fix_deploybranch

Add missing semicolon
Merge branch 'master' of https://github.com/geoadmin/mf-geoadmin3
Merge branch 'master' of https://github.com/geoadmin/mf-geoadmin3
Apply storymap 5 html IE specifics...
Merge pull request #802 from geoadmin/dev_IE_fixes

IE mode troubles