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  * @package   core
  24  * @license   http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  25  */
  26
  27 require('../config.php');
  28
  29 $url       = required_param('url', PARAM_LOCALURL);
  30 $newdevice = required_param('device', PARAM_TEXT);
  31
  32 require_sesskey();
  33
  34 core_useragent::set_user_device_type($newdevice);
  35
  36 redirect($url);