puli / manager

    /**

     * {@inheritdoc}

     */

    public function addPluginClass($pluginClass)

    {

        if ($this->rootModuleFile->hasPluginClass($pluginClass)) {

            // Already installed locally

            return;

        }

        $this->validatePluginClass($pluginClass);

        $previousClasses = $this->rootModuleFile->getPluginClasses();

        $this->rootModuleFile->addPluginClass($pluginClass);

        try {

            $this->moduleFileStorage->saveRootModuleFile($this->rootModuleFile);

        } catch (Exception $e) {

            $this->rootModuleFile->setPluginClasses($previousClasses);

            throw $e;

        }

    }

    /**

     * {@inheritdoc}

    /**

     * {@inheritdoc}

     */

    public function removeExtraKey($key)

    {

        if (!$this->rootModuleFile->hasExtraKey($key)) {

            return;

        }

        $previousValue = $this->rootModuleFile->getExtraKey($key);

        $this->rootModuleFile->removeExtraKey($key);

        try {

            $this->moduleFileStorage->saveRootModuleFile($this->rootModuleFile);

        } catch (Exception $e) {

            $this->rootModuleFile->setExtraKey($key, $previousValue);

            throw $e;

        }

    }

    /**

     * {@inheritdoc}