diff options
author | Michal Čihař <michal@cihar.com> | 2016-12-07 20:17:59 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2016-12-07 20:17:59 +0300 |
commit | 308c9d79512d8b8a759e787d11ab1668138d0d5f (patch) | |
tree | 92336b7ff438ff6d7b3ffbc5248e7834d56a8663 /server_replication.php | |
parent | b56f101039b73866894325b0f6ab13894f0e44b2 (diff) |
Simplify Response object handling
- always use use and short name
- avoid calling getInstance() several times in one script
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'server_replication.php')
-rw-r--r-- | server_replication.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server_replication.php b/server_replication.php index e5a5f08010..5fbd4300eb 100644 --- a/server_replication.php +++ b/server_replication.php @@ -5,6 +5,7 @@ * * @package PhpMyAdmin */ +use PMA\libraries\Response; /** * include files @@ -18,7 +19,7 @@ require_once 'libraries/replication_gui.lib.php'; /** * Does the common work */ -$response = PMA\libraries\Response::getInstance(); +$response = Response::getInstance(); $header = $response->getHeader(); $scripts = $header->getScripts(); $scripts->addFile('server_privileges.js'); |