Beispiel #1
0
 public static function setDefaultPageType($type = null)
 {
     if ($type !== null && !is_string($type)) {
         throw new IfwPsn_Vendor_Zend_Navigation_Exception('Cannot set default page type: type is no string but should be');
     }
     self::$_defaultPageType = $type;
 }