From fc899e45eceb5beab6484dc7a767301c6526f2f7 Mon Sep 17 00:00:00 2001
From: Madhura Jayaratne <madhura.cj@gmail.com>
Date: Mon, 1 Feb 2016 17:20:00 +1100
Subject: [PATCH] Remove server_modules page that is no longer used

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>
---
 server_modules.php | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 server_modules.php

diff --git a/server_modules.php b/server_modules.php
deleted file mode 100644
index e6f5f907f4..0000000000
--- a/server_modules.php
+++ /dev/null
@@ -1,31 +0,0 @@
-<?php
-/* vim: set expandtab sw=4 ts=4 sts=4: */
-/**
- * object the server modules page
- *
- * @package PhpMyAdmin
- */
-
-/**
- * requirements
- */
-require_once 'libraries/common.inc.php';
-
-/**
- * Does the common work
- */
-require 'libraries/server_common.inc.php';
-require 'libraries/server_plugins.lib.php';
-
-$modules = PMA_getServerModules();
-
-/**
- * Displays the page
- */
-$response = PMA\libraries\Response::getInstance();
-$response->addHTML('<div>');
-$response->addHTML(PMA_getHtmlForPluginsSubTabs('server_modules.php'));
-$response->addHTML(PMA_getModuleTab($modules));
-$response->addHTML('</div>');
-
-exit;