diff -r 000000000000 -r 4eba9c11703f web/Zend/Navigation.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/Zend/Navigation.php Mon Dec 13 18:29:26 2010 +0100 @@ -0,0 +1,54 @@ +addPages($pages); + } elseif (null !== $pages) { + require_once 'Zend/Navigation/Exception.php'; + throw new Zend_Navigation_Exception( + 'Invalid argument: $pages must be an array, an ' . + 'instance of Zend_Config, or null'); + } + } +}