[checkmk-commits] 3723 FIX Mobile GUI: Don' t mix classic and mobile GUI when choosing classic on mobile device