phpmyadmin/server_plugins.php
Maurício Meneghini Fauth 798f76fdb0 Rename ServerPluginsController to PluginsController
Renames PhpMyAdmin\Controllers\Server\ServerPluginsController to
PhpMyAdmin\Controllers\Server\PluginsController.

Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
2019-02-14 13:26:28 -02:00

31 lines
746 B
PHP

<?php
/* vim: set expandtab sw=4 ts=4 sts=4: */
/**
* Handles server plugins page.
*
* @package PhpMyAdmin
*/
declare(strict_types=1);
use PhpMyAdmin\Controllers\Server\PluginsController;
use PhpMyAdmin\Di\Container;
use PhpMyAdmin\Response;
if (! defined('ROOT_PATH')) {
define('ROOT_PATH', __DIR__ . DIRECTORY_SEPARATOR);
}
require_once ROOT_PATH . 'libraries/common.inc.php';
$container = Container::getDefaultContainer();
$container->factory(PluginsController::class);
$container->set('PhpMyAdmin\Response', Response::getInstance());
$container->alias('response', 'PhpMyAdmin\Response');
/** @var PluginsController $controller */
$controller = $container->get(
PluginsController::class,
[]
);
$controller->indexAction();