public function options($opts) { $opts->add('download', 'download the extensino source if extension not found.'); }