@@ 725-727 (lines=3) @@ | ||
722 | public function getHREF($exclude_from = null) |
|
723 | { |
|
724 | $href = []; |
|
725 | if (isset($_REQUEST['server']) && $exclude_from != 'server') { |
|
726 | $href[] = 'server='.urlencode($_REQUEST['server']); |
|
727 | } |
|
728 | if (isset($_REQUEST['database']) && $exclude_from != 'database') { |
|
729 | $href[] = 'database='.urlencode($_REQUEST['database']); |
|
730 | } |
|
@@ 728-730 (lines=3) @@ | ||
725 | if (isset($_REQUEST['server']) && $exclude_from != 'server') { |
|
726 | $href[] = 'server='.urlencode($_REQUEST['server']); |
|
727 | } |
|
728 | if (isset($_REQUEST['database']) && $exclude_from != 'database') { |
|
729 | $href[] = 'database='.urlencode($_REQUEST['database']); |
|
730 | } |
|
731 | if (isset($_REQUEST['schema']) && $exclude_from != 'schema') { |
|
732 | $href[] = 'schema='.urlencode($_REQUEST['schema']); |
|
733 | } |
|
@@ 731-733 (lines=3) @@ | ||
728 | if (isset($_REQUEST['database']) && $exclude_from != 'database') { |
|
729 | $href[] = 'database='.urlencode($_REQUEST['database']); |
|
730 | } |
|
731 | if (isset($_REQUEST['schema']) && $exclude_from != 'schema') { |
|
732 | $href[] = 'schema='.urlencode($_REQUEST['schema']); |
|
733 | } |
|
734 | ||
735 | return htmlentities(implode('&', $href)); |
|
736 | } |