theme/switchdevice.php

   1 <?php
   2 // This file is part of Moodle - http://moodle.org/
   3 //
   4 // Moodle is free software: you can redistribute it and/or modify
   5 // it under the terms of the GNU General Public License as published by
   6 // the Free Software Foundation, either version 3 of the License, or
   7 // (at your option) any later version.
   8 //
   9 // Moodle is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13 //
  14 // You should have received a copy of the GNU General Public License
  15 // along with Moodle.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 /**
  18  * This code processes switch device requests-> ... -> Theme selector UI.
  19  *
  20  * This script doesn't require login as not logged in users should still
  21  * be able to switch the device theme they are using.
  22  */
  23
  24 require('../config.php');
  25
  26 $url       = required_param('url', PARAM_LOCALURL);
  27 $newdevice = required_param('device', PARAM_TEXT);
  28
  29 require_sesskey();
  30
  31 set_user_device_type($newdevice);
  32
  33 redirect($url);