Gestionnaire de fichiers - Editer - /usr/share/phpmyadmin/server_plugins.php
Arrière
<?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\Response; if (! defined('ROOT_PATH')) { define('ROOT_PATH', __DIR__ . DIRECTORY_SEPARATOR); } require_once ROOT_PATH . 'libraries/common.inc.php'; /** @var PluginsController $controller */ $controller = $containerBuilder->get(PluginsController::class); /** @var Response $response */ $response = $containerBuilder->get(Response::class); $response->addHTML($controller->index());
| ver. 1.4 |
Github
|
.
| PHP 7.4.33 | Génération de la page: 0.34 |
proxy
|
phpinfo
|
Réglages