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; }