[Summary view]

   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);