| public set_extension_manager ( phpbb\extension\manager $extension_manager ) | ||
| $extension_manager | phpbb\extension\manager | Extension manager |
public function set_extension_manager(\phpbb\extension\manager $extension_manager)
{
$this->extension_manager = $extension_manager;
}