Code Duplication    Length = 3-3 lines in 3 locations

src/classes/Misc.php 3 locations

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