From 084b971bc8026eeeaea06de8414fd7842513716f Mon Sep 17 00:00:00 2001 From: Sam Hemelryk Date: Mon, 24 Jun 2013 11:28:23 +1200 Subject: [PATCH] MDL-38347 fixed whitespace --- lib/outputlib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.