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