original_string: public static function get_device_type_theme($devicetype = null) {
          global $CFG;
          if ($devicetype === null) {
              $devicetype = self::get_device_type();
          }
          $themevarname = self::get_device_type_cfg_var_name($devicetype);
          if (empty($CFG->$themevarname)) {
              return false;
          }
          return $CFG->$themevarname;
      }
code: public static function get_device_type_theme($devicetype = null) {
          global $CFG;
          if ($devicetype === null) {
              $devicetype = self::get_device_type();
          }
          $themevarname = self::get_device_type_cfg_var_name($devicetype);
          if (empty($CFG->$themevarname)) {
              return false;
          }
          return $CFG->$themevarname;
      }
code_tokens: public static function get_device_type_theme ( $ devicetype = null ) { global $ CFG ; if ( $ devicetype === null ) { $ devicetype = self :: get_device_type ( ) ; } $ themevarname = self :: get_device_type_cfg_var_name ( $ devicetype ) ; if ( empty ( $ CFG -> $ themevarname ) ) { return false ; } return $ CFG -> $ themevarname ; }
docstring: Returns the theme to use for the given device type.
  
  This used to be get_selected_theme_for_device_type.
  @param null|string $devicetype The device type to find out for. Defaults to the device the user is using,
  @return bool
docstring_tokens: Returns the theme to use for the given device type .