Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRouslan Placella <rouslan@placella.com>2012-05-01 01:24:07 +0400
committerRouslan Placella <rouslan@placella.com>2012-05-05 19:44:27 +0400
commit7b85c709a85ad582cf00e27f1a50f2610f5ee0dc (patch)
tree4c67c7febfadcb2df9f1aea6ce25e75e12b24b62 /server_replication.php
parent7245a3bf4d8edc924c26702ee019e14dae8bd50a (diff)
Dropped server_links.inc.php
Diffstat (limited to 'server_replication.php')
-rw-r--r--server_replication.php7
1 files changed, 2 insertions, 5 deletions
diff --git a/server_replication.php b/server_replication.php
index d2be1a32f7..7f10eeed72 100644
--- a/server_replication.php
+++ b/server_replication.php
@@ -25,7 +25,7 @@ require_once 'libraries/server_synchronize.lib.php';
* Checks if the user is allowed to do what he tries to...
*/
if (! $is_superuser) {
- include 'libraries/server_links.inc.php';
+ include 'libraries/header.inc.php';
echo '<h2>' . "\n"
. PMA_getIcon('s_replication.png')
. __('Replication') . "\n"
@@ -181,10 +181,7 @@ if (isset($GLOBALS['sr_take_action'])) {
}
unset($refresh);
}
-/**
- * Displays the links
- */
-require 'libraries/server_links.inc.php';
+
echo '<div id="replication">';
echo ' <h2>';