/** @brief Return a collection of plugins with the specified ID numbers. @since 2014-05-08 16:32:16 **/ public function from_ids($ids) { $r = new collection(); foreach ($this->items as $plugin) { foreach ($ids as $id) { if ($plugin->get_id() == $id) { $r->append($plugin); } } } return $r; }