A manager for installing phpBB Extensions