includes/paths.php
changeset 590 03a60844c7c5
parent 571 66e14e61613e
child 592 27377179fe58
--- a/includes/paths.php	Thu Jun 26 21:36:32 2008 -0400
+++ b/includes/paths.php	Mon Jun 30 17:20:02 2008 -0400
@@ -398,9 +398,10 @@
     {
       eval($cmd);
     }
-    
+   
+    profiler_log('Paths and CMS core initted');
     $session->init_permissions();
-    profiler_log('Paths and CMS core initted');
+    profiler_log('Default ACL set retrieved');
   }
   
   function add_page($flags)
@@ -415,7 +416,7 @@
         $flags['name'] = $lang->get($flags['name']);
     }
     
-    $pages_len = sizeof($this->pages)/2;
+    $pages_len = sizeof($this->pages) / 2;
     $this->pages[$pages_len] = $flags;
     $this->pages[$flags['urlname']] =& $this->pages[$pages_len];
   }