Restore mobile_default_theme feature
Merge pull request #880 from camptocamp/mobile_default_theme

Restore mobile_default_theme feature