commit a2758c0c175126ef87eacd58f589a4668d73adaa
author Zhou Fang <zhou.fang@eclipse-foundation.org> Wed Jul 28 10:45:40 2021 -0400
committer Zhou Fang <zhou.fang@eclipse-foundation.org> Wed Jul 28 10:45:40 2021 -0400
tree 92e7d410ab7d4df8a2c257f16faf1da77c376886
parent 415c30da3428890470a71ce623f83a8d1c7ea2d8

bug574570 added width and height attributes to logo image

classes/themes/baseTheme.class.php

diff --git a/classes/themes/baseTheme.class.php b/classes/themes/baseTheme.class.php
index 6a5d8a5..96fcb78 100644
--- a/classes/themes/baseTheme.class.php
+++ b/classes/themes/baseTheme.class.php
@@ -1539,7 +1539,7 @@
     $html .= '<div class="header_nav">';
     $html .= '<div class="col-xs-24 col-md-10 vcenter">';
     if (!empty($header_nav['logo']['src'])) {
-      $logo = '<img src="' . $header_nav['logo']['src'] . '" alt="' . $header_nav['logo']['alt'] . '" class="img-responsive  header_nav_logo"/>';
+      $logo = '<img src="' . $header_nav['logo']['src'] . '" alt="' . $header_nav['logo']['alt'] . '" width="' . $header_nav['logo']['width'] . '" height="' . $header_nav['logo']['height'] . '" class="img-responsive  header_nav_logo"/>';
 
       if (!empty($header_nav['logo']['url'])) {
         $html .= '<a href="' . $header_nav['logo']['url'] . '" title="' . $header_nav['logo']['alt'] . '" target="' . $header_nav['logo']['target'] . '">';