[dev] [patch] Fix "Undefined offset" error in Perms.php

[Jason M. Felice]

Horde_Perms::getTitle() did not take into account that top-level permissions
don't really have titles.  This fixes that.

-- 
 Jason M. Felice
 Cronosys, LLC <http://www.cronosys.com/>
 216.221.4600 x302
-------------- next part --------------
epm diff Perms.php
--- Perms.php	2003-11-06 14:38:49.000000000 -0500
+++ Perms.php	2003-11-06 14:41:18.000000000 -0500
@@ -142,6 +142,9 @@
         global $registry;
 
         $levels = explode(':', $name);
+        if (count($levels) == 1) {
+            return $name;
+        }
         $perm = array_pop($levels);
 
         /* First level is always app. */