Code Duplication    Length = 5-6 lines in 3 locations

web/resources/inc/footer.php 1 location

@@ 33-37 (lines=5) @@
30
                        if ($logoBase === FALSE) {
31
                            throw new Exception("We don't know our own hostname?!");
32
                        }
33
                        if (strpos($_SERVER['PHP_SELF'], "admin/") === FALSE) {
34
                            $logoBase .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/")) . "/resources/images";
35
                        } else {
36
                            $logoBase .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/admin/")) . "/resources/images";
37
                        }
38
                        $logoBase = "//" . $logoBase;
39
40
                        echo "<span id='logos' style='position:fixed; left:50%;'><img src='$logoBase/dante.png' alt='DANTE' style='height:23px;width:47px'/>

web/resources/inc/header.php 2 locations

@@ 53-57 (lines=5) @@
50
    // in the admin area or on the main index.php ...
51
    if (strpos($_SERVER['PHP_SELF'], "admin/") !== FALSE) {
52
        $cssUrl .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/admin/")) . "/resources/css/cat.css.php";
53
    } else if (strpos($_SERVER['PHP_SELF'], "diag/") !== FALSE) {
54
        $cssUrl .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/diag/")) . "/resources/css/cat.css.php";
55
    } else {
56
        $cssUrl .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/")) . "/resources/css/cat.css.php";
57
    }
58
59
    $cssUrl = "//" . $cssUrl; // omitting http or https means "on same protocol
60
    
@@ 100-105 (lines=6) @@
97
            }
98
            // we need to construct the right path to the consortium logo; we are either
99
            // in the admin area or on the main index.php ...
100
            if (strpos($_SERVER['PHP_SELF'], "admin/") === FALSE) {
101
                $logoUrl .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/")) . "/resources/images/consortium_logo.png";
102
            }
103
            else {
104
                $logoUrl .= substr($_SERVER['PHP_SELF'], 0, strrpos($_SERVER['PHP_SELF'], "/admin/")) . "/resources/images/consortium_logo.png";
105
            }
106
            $logoUrl = "//" . $logoUrl;
107
            ?>
108
            <div class='consortium_logo'>