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