diff -r 5b37998e522e -r 162c1de6545a web/lib/Zend/Navigation.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Navigation.php Fri Mar 11 15:05:35 2011 +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'); + } + } +}