Let PHP Highcharts require the Zend dev versions