diff --git a/lib/outputlib.php b/lib/outputlib.php
index 9bf0b35a6f4..9b37027fca5 100644
--- a/lib/outputlib.php
+++ b/lib/outputlib.php
@@ -533,7 +533,7 @@ class theme_config {
                 $this->rarrow = '▶';
                 $this->larrow = '◀';
             }
-            elseif ((false !== strpos($uagent, 'Konqueror')) 
+            elseif ((false !== strpos($uagent, 'Konqueror'))
                 || (false !== strpos($uagent, 'Android')))  {
                 // The fonts on Android don't include the characters required for this to work as expected.
                 // So we use the same ones Konqueror uses.