Merge pull request #9 from alexukf/remove_unused_function_PMA_pluginIsActive

Remove unused function PMA_pluginIsActive
This commit is contained in:
Michal Čihař 2012-03-27 04:29:51 -07:00
commit c2a3a987d2

View File

@ -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