protected function execute($arguments = array(), $options = array())
 {
     if (empty($options['channel'])) {
         $options['channel'] = opPluginManager::getDefaultPluginChannelServerName();
     }
     return parent::execute($arguments, $options);
 }
 public function getPluginManager()
 {
     // Remove E_STRICT and E_DEPRECATED from error_reporting
     error_reporting(error_reporting() & ~(E_STRICT | E_DEPRECATED));
     $oldPluginManager = parent::getPluginManager();
     $pluginManager = new opPluginManager($this->dispatcher, $oldPluginManager->getEnvironment());
     return $pluginManager;
 }
 public function getPluginManager()
 {
     $oldPluginManager = parent::getPluginManager();
     $pluginManager = new opPluginManager($this->dispatcher, $oldPluginManager->getEnvironment());
     return $pluginManager;
 }