diff options
Diffstat (limited to 'plugins/UserSettings/functions.php')
| -rw-r--r-- | plugins/UserSettings/functions.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugins/UserSettings/functions.php b/plugins/UserSettings/functions.php index 40e48c5840..ad5deec648 100644 --- a/plugins/UserSettings/functions.php +++ b/plugins/UserSettings/functions.php @@ -50,7 +50,6 @@ function getOSShortLabel($osId) return $osId; } - function getOSFamily($osLabel) { $osId = UserAgentParser::getOperatingSystemIdFromName($osLabel); @@ -101,7 +100,6 @@ function getBrowserTypeLabel($oldLabel) return $oldLabel; } - function getConfigurationLabel($str) { if (strpos($str, ';') === false) { |