From bee96b5a4c90de05dcba22933d36c832c86e9860 Mon Sep 17 00:00:00 2001 From: Alex Marin Date: Tue, 27 Mar 2012 05:43:55 +0300 Subject: [PATCH] remove unused function PMA_pluginIsActive --- libraries/plugin_interface.lib.php | 23 ----------------------- 1 file changed, 23 deletions(-) diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php index 49f510f5d8..0fcce1e1bf 100644 --- a/libraries/plugin_interface.lib.php +++ b/libraries/plugin_interface.lib.php @@ -102,29 +102,6 @@ function PMA_pluginGetDefault($section, $opt) return ''; } -/** - * Returns html input tag option 'checked' if option $opt - * should be set by config or request - * - * @param string $section name of config section in - * $GLOBALS['cfg'][$section] for plugin - * @param string $opt name of option - * @param string $val value of option to check against - * - * @return string html input tag option 'checked' - */ -function PMA_pluginIsActive($section, $opt, $val) -{ - if (! empty($GLOBALS['timeout_passed']) && isset($_REQUEST[$opt])) { - if ($_REQUEST[$opt] == $val) { - return ' checked="checked"'; - } - } elseif (isset($GLOBALS['cfg'][$section][$opt]) && $GLOBALS['cfg'][$section][$opt] == $val) { - return ' checked="checked"'; - } - return ''; -} - /** * Returns html select form element for plugin choice * and hidden fields denoting whether each plugin must be exported as a file