As part of development on MDL-77793, certain device-related functions are no longer used and should be deprecated.

• theme_is_device_locked
• theme_get_locked_theme_for_device
• get_device_type_cfg_var_name

Additionally, there is a string in lang/en/admin.php that is no longer required and should follow the string deprecation process:

• $string['selecttheme'] = 'Select theme for {$a} device';