public function __construct($version, $options = array()) { if (!isset($options['worklist_manager'])) { $options['worklist_manager'] = new \WorklistManager(); } parent::__construct($version, $options); }