exporting a panel adds page_manager but not panels as a dependency; enabling Feature crashes

I exported a panel page made with the landing page wizard to my feature.

My colleague enabled the feature and got this error:

PHP Fatal error: Class 'panels_display' not found in /home/gulf-news.com/www/trunk/sites/all/modules/features/foobar/foobar.pages_default.inc

This appears to be because the feature's dependencies are:

dependencies[] = ctools
dependencies[] = page_manager
dependencies[] = views

The missing class is in panels.module but panels is not set as a dependency!