Minor adjustment to indenting

diff --git a/plugins/MobileProfile/MobileProfilePlugin.php b/plugins/MobileProfile/MobileProfilePlugin.php
index 117e0aae650f0746f757a24f9520c8bd18b3a97c..3f3d10261317f80a861ae7a93bd748492a1102b2 100644 (file)
--- a/plugins/MobileProfile/MobileProfilePlugin.php
+++ b/plugins/MobileProfile/MobileProfilePlugin.php
@@ -158,7 +158,8 @@ class MobileProfilePlugin extends WAP20Plugin
     }
 
 
-    function onStartShowHeadElements($action) {
+    function onStartShowHeadElements($action)
+    {
         if (!$action->serveMobile) {
             return true;
         }
@@ -172,7 +173,8 @@ class MobileProfilePlugin extends WAP20Plugin
     }
 
 
-    function onStartShowStatusNetStyles($action) {
+    function onStartShowStatusNetStyles($action)
+    {
         if (!$action->serveMobile) {
             return true;
         }